✦ LIBER ✦

On timed alternating simulation for concurrent timed games

✍ Scribed by Laura Bozzelli, Axel Legay, Sophie Pinchinat

Book ID: 113024024
Publisher: Springer-Verlag
Year: 2012
Tongue: English
Weight: 568 KB
Volume: 49
Category: Article
ISSN: 0001-5903
DOI: 10.1007/s00236-012-0158-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the expressiveness of Timed Concurren

On the expressiveness of Timed Concurrent Constraint Programming

✍ Simone Tini 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 877 KB

Concurrency Theory: Calculi and Automata

Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

✍ Howard Bowman, Rodolfo Gomez 📂 Library 📅 2005 🏛 Springer 🌐 English ⚖ 7 MB

Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focus

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 6246 || Combining Symbolic Representations for Solving Timed Games

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 279 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 6246 || Simulation and Bisimulation for Probabilistic Timed Automata

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 277 KB

TIME CONSISTENCY IN ALTERNATING-MOVE POL

TIME CONSISTENCY IN ALTERNATING-MOVE POLICY GAMES

✍ IN-KOO CHO; AKIHIKO MATSUI 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 186 KB

On an alternative for pursuit-evasion ga

On an alternative for pursuit-evasion games in an infinite time interval

✍ A.A. Azamov 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 486 KB