Computing Weakest Strategies for Safety Games of Imperfect Information
Abstract elided by the publisher.
Related papers
- Alpaga: A Tool for Solving Parity Games with Imperfect Information TACAS 2009
- Doomsday Equilibria for Omega-Regular Games VMCAI 2014
- Safraless Synthesis for Epistemic Temporal Specifications CAV 2014
- Stochastic Games with Lexicographic Reachability-Safety Objectives CAV 2020
- LOUD: Synthesizing Strongest and Weakest Specifications OOPSLA 2025
- Security-Aware Synthesis Using Delayed-Action Games CAV 2019
- A constraint-based approach to solving games on infinite graphs POPL 2014
- Strategy Representation by Decision Trees in Reactive Synthesis TACAS 2018