Learning of event-recording automata
From MaRDI portal
Publication:604474
DOI10.1016/J.TCS.2010.07.008zbMath1205.68201OpenAlexW1994748133MaRDI QIDQ604474
Olga Grinchtein, Martin Leucker, Bengt Jonsson
Publication date: 11 November 2010
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2010.07.008
Learning and adaptive systems in artificial intelligence (68T05) Formal languages and automata (68Q45)
Related Items (8)
Learning One-Clock Timed Automata ⋮ Active model learning of stochastic reactive systems ⋮ Inferring Symbolic Automata ⋮ Learning deterministic one-clock timed automata via mutation testing ⋮ Active learning of one-clock timed automata using constraint solving ⋮ Learning register automata: from languages to program structures ⋮ Learning Mealy machines with one timer ⋮ Learning Mealy machines with one timer
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Network invariants for real-time systems
- Learning regular sets from queries and counterexamples
- Event-clock automata: a determinizable class of timed automata
- A theory of timed automata
- Temporal proof methodologies for timed transition systems
- Automata, languages and programming. 25th international colloquium, ICALP '98. Aalborg, Denmark, July 13--17, 1998. Proceedings
- Formal methods and software engineering. 5th international conference on formal engineering methods, ICFEM 2003, Singapore, November 5--7, 2003. Proceedings
- Inference of finite automata using homing sequences
- Testing Software Design Modeled by Finite-State Machines
- Foundations of Software Science and Computation Structures
- Fundamental Approaches to Software Engineering
- Language identification in the limit
- Inference of Event-Recording Automata Using Timed Decision Trees
- Computer Aided Verification
- Testing timed automata
This page was built for publication: Learning of event-recording automata
