Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation-Reference-Cited by-同舟云学术

Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation

Published:2009 Issue: Volume: Page:73-87
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bulychev Peter,Chatain Thomas,David Alexandre,Larsen Kim G.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04368-0_8

Reference21 articles.

1. Abdeddaïm, Y., Asarin, E., Gallien, M., Ingrand, F., Lessire, C., Sighireanu, M.: Planning Robust Temporal Plans A Comparison Between CBTP and TGA Approaches. In: Proceedings of the International Conference on Automated Planning and Scheduling International Conference on Automated Planning and Scheduling (ICAPS 2007). AAAI Press, Menlo Park (2007)

2. Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking in dense real-time. Inf. Comput. 104(1), 2–34 (1993)

3. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)

4. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In: FOCS, pp. 100–109 (1997)

5. Lecture Notes in Computer Science;R. Alur,1998

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An axiomatic semantics for iocos_ conformance relation;Journal of Logical and Algebraic Methods in Programming;2018-11

2. Multi-timed Bisimulation for Distributed Timed Automata;Lecture Notes in Computer Science;2017

3. Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms;Lecture Notes in Computer Science;2017

4. Robust synthesis for real-time systems;Theoretical Computer Science;2014-01

5. Effectiveness for Input Output Conformance Simulation iocos̱;Formal Techniques for Distributed Objects, Components, and Systems;2014