conftrace_

best-effort synthesis

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

strategy synthesis (2) linear temporal logic (2) game theory (2) reactive synthesis (1) two-player game (1) multi-tier environment (1) deterministic finite automaton (1) formal verification (1)

Papers

Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments IJCAI 2024 Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up IJCAI 2021