Author:
Brihaye Thomas,Estiévenart Morgane,Geeraerts Gilles,Ho Hsi-Ming,Monmege Benjamin,Sznajder Nathalie
Publisher
Springer International Publishing
Reference18 articles.
1. Alur, R., Dill, D.L.: A theory of timed automata. T.C.S. 126(2), 183–235 (1994)
2. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM 43(1), 116–146 (1996)
3. Lecture Notes in Computer Science;A Bohy,2012
4. Lecture Notes in Computer Science;P Bouyer,2006
5. Bouyer, P., Markey, N., Ouaknine, J., Worrell, J.: The cost of punctuality. In: LICS 2007, pp. 109–120. IEEE (2007)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Taming Large Bounds in Synthesis from Bounded-Liveness Specifications;Tools and Algorithms for the Construction and Analysis of Systems;2023
2. Timed hyperproperties;Information and Computation;2021-10
3. Efficient Algorithms and Tools for MITL Model-Checking and Synthesis;2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS);2018-12
4. Timed Temporal Logics;Lecture Notes in Computer Science;2017