Next Generation LearnLib
Abstract elided by the publisher.
Related papers
- The Open-Source LearnLib - A Framework for Active Automata Learning CAV 2015
- LearnLib: 10 years later CAV 2025
- Using Objects for Next Generation Communication Services ECOOP 2000
- Analyzing the Next Generation Airborne Collision Avoidance System TACAS 2014
- A Next-Generation Platform for Analyzing Executables APLAS 2005
- A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System TACAS 2015
- The next-generation in-stadium experience (keynote) GPCE 2015
- The next 700 relational program logics POPL 2020