conftrace_

reachability game

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

game theory (3) strategy synthesis (2) deceptive strategy (1) action misperception (1) dynamic epistemic logic (1) multi-player game (1) distributed strategy (1) satisfiability modulo theories (1) reactive system (1) quantitative game (1)

Papers

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games IJCAI 2025 Reachability Games Modulo Theories with a Bounded Safety Player AAAI 2023 Synthesis of Deceptive Strategies in Reachability Games with Action Misperception IJCAI 2020 Reachability Games in Dynamic Epistemic Logic IJCAI 2019 LTL Realizability via Safety and Reachability Games IJCAI 2018