Learning of Event-Recording Automata

This publication has 23 references indexed in Scilit:

• Untameable Timed Automata!
  Published by Springer Nature ,2003
• A theory of timed automata
  Published by Elsevier ,2002
• Bandera
  Published by Association for Computing Machinery (ACM) ,2000
• Timed Automata
  Published by Springer Nature ,1999
• Event-clock automata: a determinizable class of timed automata
  Theoretical Computer Science, 1999
• Kronos: A model-checking tool for real-time systems
  Published by Springer Nature ,1998
• An experiment in automatic generation of test suites for protocols with verification technology
  Science of Computer Programming, 1997
• Algorithms for Learning Finite Automata from Queries: A Unified View
  Published by Springer Nature ,1997
• UPPAAL — a tool suite for automatic verification of real-time systems
  Published by Springer Nature ,1996
• Learning regular sets from queries and counterexamples
  Information and Computation, 1987