We are happy to announce that our tool paper LearnLib: 10 years later has been accepted at CAV 2025 and will be part of the open-access conference proceedings.
We are excited to meet you at CAV and are looking forward to plenty of interesting talks.