Author:
Grinchtein Olga,Jonsson Bengt,Leucker Martin
Subject
General Computer Science,Theoretical Computer Science
Reference36 articles.
1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Event-clock automata: a determinizable class of timed automata;Alur;Theoretical Computer Science,1999
3. Timed automata;Alur,1999
4. Learning regular sets from queries and counterexamples;Angluin;Information and Computation,1987
5. Algorithms for learning finite automata from queries: a unified view;Balcázar,1997
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learning Deterministic Multi-Clock Timed Automata;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
2. Active model learning of stochastic reactive systems (extended version);Software and Systems Modeling;2024-03-23
3. Generating Timed Scenarios from Behaviours;Studies in Computational Intelligence;2024
4. Learning Mealy machines with one timer;Information and Computation;2023-12
5. Inferring Symbolic Automata;Logical Methods in Computer Science;2023-04-20