Keyword:timed games

Publications
Correctness-Guaranteed Strategy Synthesis and Compression for Multi-Agent Autonomous Systems Rong Gu, Peter Jensen, Cristina Seceleanu, Eduard Enoiu and Kristina Lundqvist EasyChair Preprint 14182