Learning of Event-Recording Automata
- 1 January 2004
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 23 references indexed in Scilit:
- Untameable Timed Automata!Lecture Notes in Computer Science, 2003
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- Event-clock automata: a determinizable class of timed automataTheoretical Computer Science, 1999
- Timed AutomataLecture Notes in Computer Science, 1999
- Kronos: A model-checking tool for real-time systemsLecture Notes in Computer Science, 1998
- An experiment in automatic generation of test suites for protocols with verification technologyScience of Computer Programming, 1997
- Algorithms for Learning Finite Automata from Queries: A Unified ViewPublished by Springer Science and Business Media LLC ,1997
- UPPAAL — a tool suite for automatic verification of real-time systemsLecture Notes in Computer Science, 1996
- A theory of timed automataTheoretical Computer Science, 1994
- Learning regular sets from queries and counterexamplesInformation and Computation, 1987