Author:
Baier Christel,Bertrand Nathalie,Bouyer Patricia,Brihaye Thomas
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Lecture Notes in Computer Science;S. Adams,2007
2. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
3. Lecture Notes in Computer Science;R. Alur,1994
4. Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata. In: Proc. IFAC Symposium on System Structure and Control, pp. 469–474. Elsevier Science, Amsterdam (1998)
5. Baier, C., Bertrand, N., Bouyer, P., Brihaye, T.: When are timed automata determinizable? Research Report LSV-09-08, Laboratoire Spécification & Vérification, ENS de Cachan, France (2009)
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios;Lecture Notes in Computer Science;2024
2. Quick Subset Construction;Software: Practice and Experience;2023-08
3. Operations on Timed Scenarios;Formal Techniques for Distributed Objects, Components, and Systems;2023
4. Determinisability of register and timed automata;Logical Methods in Computer Science;2022-05-10
5. Weight-deterministic max-plus automata;IFAC-PapersOnLine;2022