Verification and Performance Evaluation of Timed Game Strategies

DOI10.1007/978-3-319-10512-3_8zbMath1448.68293OpenAlexW88515723MaRDI QIDQ5500558

Alexandre David, Zhengkui Zhang, Huixing Fang, Kim Guldstrand Larsen

Publication date: 6 August 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10512-3_8

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Uppaal
• UPPAAL TIGA
• Unnamed Item

This page was built for publication: Verification and Performance Evaluation of Timed Game Strategies