UPPAAL-Tiga: Time for Playing Games!
No abstract available.
Related papers
- Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games CAV 2024
- A Model-Driven Generative Self Play-Based Toolchain for Developing Games and Players GPCE 2022
- Playing Against Fair Adversaries in Stochastic Games with Total Rewards CAV 2022
- Strategy synthesis for linear arithmetic games POPL 2018
- UPPAAL in 1995 TACAS 1996
- Analysis and Verification of Quantum Communication Protocols in UPPAAL CAV 2026
- Lock-step simulation is child's play (experience report) ICFP 2017
- A Matrix-Based Approach to Parity Games TACAS 2023