Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization

DOI10.1007/978-3-319-32582-8_9zbMath1354.68196OpenAlexW2415404324MaRDI QIDQ2814624

Jiří Srba, Kim Guldstrand Larsen, Peter Gjøl Jensen

Publication date: 22 June 2016

Published in: Model Checking Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-32582-8_9

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Stubborn set reduction for timed reachability and safety games ⋮ Kaki: concurrent update synthesis for regular policies via Petri games ⋮ Unnamed Item ⋮ Partial order reduction for reachability games ⋮ TAPAAL ⋮ Automatic synthesis of transiently correct network updates via Petri games

Uses Software

• Romeo
• LOTOS
• TINA
• Uppaal
• UPPAAL TIGA
• Synthia