<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd" xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
<url>
<loc>https://learnlib.de/pages/news/2013-05-25-open-source-release-of-learnlib</loc>
<lastmod>2013-05-25T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://learnlib.de/pages/news/2018-03-02-learnlib-revival-release-0-13-0</loc>
<lastmod>2018-03-02T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://learnlib.de/pages/news/2020-02-06-learnlib-0-15-0-and-automatalib-0-9-0-release</loc>
<lastmod>2020-02-06T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://learnlib.de/pages/news/2020-10-12-learnlib-0-16-0-and-automatalib-0-10-0-release</loc>
<lastmod>2020-10-12T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://learnlib.de/pages/news/2023-11-26-learnlib-0-17-0-automatalib-0-11-0-and-learnlib-de-relaunch</loc>
<lastmod>2023-11-26T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://learnlib.de/pages/news/2025-02-06-learnlib-0-18-0-and-automatalib-0-12-0-release</loc>
<lastmod>2025-02-06T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://learnlib.de/pages/news/2025-07-22-learnlib-at-cav-2025</loc>
<lastmod>2025-07-22T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://learnlib.de/pages/alex</loc>
</url>
<url>
<loc>https://learnlib.de/ase2013</loc>
</url>
<url>
<loc>https://learnlib.de/pages/automatalib</loc>
</url>
<url>
<loc>https://learnlib.de/pages/contact</loc>
</url>
<url>
<loc>https://learnlib.de/pages/imprint</loc>
</url>
<url>
<loc>https://learnlib.de/</loc>
</url>
<url>
<loc>https://learnlib.de/pages/news</loc>
</url>
<url>
<loc>https://learnlib.de/pages/privacy-policy</loc>
</url>
<url>
<loc>https://learnlib.de/pages/team</loc>
</url>
<url>
<loc>https://learnlib.de/pages/tools</loc>
</url>
<url>
<loc>https://learnlib.de/pages/version-history</loc>
</url>
<url>
<loc>https://learnlib.de/assets/pdf/learnlib.pdf</loc>
<lastmod>2025-07-22T21:53:19+00:00</lastmod>
</url>
</urlset>
