Author:
Bouyer Patricia,Bozzelli Laura,Chevalier Fabrice
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lecture Notes in Computer Science;P.A. Abdulla,2003
2. Abdulla, P.A., Nylén, A.: Better is better than well: On efficient verification of infinite-state systems. In: Proc. 15th Ann. Symp. Logic in Computer Science (LICS 2000), pp. 132–140. IEEE Comp. Soc. Press, Los Alamitos (2000)
3. Lecture Notes in Computer Science;P.A. Abdulla,2001
4. Lecture Notes in Computer Science;L. Alfaro de,2003
5. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Taming Large Bounds in Synthesis from Bounded-Liveness Specifications;Tools and Algorithms for the Construction and Analysis of Systems;2023
2. Real-Time Policy Enforcement with Metric First-Order Temporal Logic;Computer Security – ESORICS 2022;2022
3. TACoS: A Tool for MTL Controller Synthesis;Software Engineering and Formal Methods;2021
4. Practical controller synthesis for MTL
0,∞;Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software;2017-07-13
5. The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification;Intelligent Information and Database Systems;2017