Efficient On-the-Fly Algorithms for the Analysis of Timed Games-Reference-Cited by-同舟云学术

Efficient On-the-Fly Algorithms for the Analysis of Timed Games

Published:2005 Issue: Volume: Page:66-80
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Cassez Franck,David Alexandre,Fleury Emmanuel,Larsen Kim G.,Lime Didier

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11539452_9

Reference20 articles.

1. Altisen, K., Tripakis, S.: Tools for controller synthesis of timed systems. In: Proc. 2nd Work. on Real-Time Tools (RT-TOOLS 2002), Proc. published as Technical Report 2002-025, Uppsala University, Sweden (2002)

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

3. Lecture Notes in Computer Science;R. Alur,2001

4. Andersen, H.R.: Model Checking and Boolean Graphs. Theoretical Computer Science 126(1), 3–30 (1994)

5. Lecture Notes in Computer Science;E. Asarin,1999

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

1. Traffic models of periodic event-triggered quantized control systems;Nonlinear Analysis: Hybrid Systems;2023-08

2. A State Class Based Controller Synthesis Approach for Time Petri Nets;Application and Theory of Petri Nets and Concurrency;2023

3. Elimination of Detached Regions in Dependency Graph Verification;Model Checking Software;2023

4. Timed Automata Verification and Synthesis via Finite Automata Learning;Tools and Algorithms for the Construction and Analysis of Systems;2023

5. Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice;ACM Computing Surveys;2022-12-07