Author of the publication

Lower Bounds for Active Automata Learning.

, , and . ICGI, volume 217 of Proceedings of Machine Learning Research, page 157-180. PMLR, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Analysis of the zeroconf protocol using UPPAAL., , and . EMSOFT, page 242-251. ACM, (2006)Verification of Printer Datapaths Using Timed Automata., and . ISoLA (2), volume 6416 of Lecture Notes in Computer Science, page 412-423. Springer, (2010)Proof-Checking a Data Link Protocol., , and . TYPES, volume 806 of Lecture Notes in Computer Science, page 127-165. Springer, (1993)A Theory of History Dependent Abstractions for Learning Interface Automata., , and . CONCUR, volume 7454 of Lecture Notes in Computer Science, page 240-255. Springer, (2012)Learning I/O Automata., and . CONCUR, volume 6269 of Lecture Notes in Computer Science, page 71-85. Springer, (2010)Normed Simulations., and . CAV, volume 1427 of Lecture Notes in Computer Science, page 332-344. Springer, (1998)Control Synthesis for a Smart Card Personalization System Using Symbolic Model Checking., and . FORMATS, volume 2791 of Lecture Notes in Computer Science, page 189-203. Springer, (2003)Expressive Results for Process Algebras.. REX Workshop, volume 666 of Lecture Notes in Computer Science, page 609-638. Springer, (1992)Learning Unions of k-Testable Languages., , and . LATA, volume 11417 of Lecture Notes in Computer Science, page 328-339. Springer, (2019)Learning Mealy Machines with One Timer., , and . LATA, volume 12638 of Lecture Notes in Computer Science, page 157-170. Springer, (2021)