conftrace_

fairness assumption

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

bdd-based fixpoint (1) qualitative numerical planning (1) planning solver (1) fully observable nondeterministic planning (1) finite-trace synthesis (1) infinite-trace assumption (1) ltl synthesis (1) stability assumption (1) strong cyclic solution (1) finite trace (1)

Papers

Solving QNP and FOND+ with Generating, Testing and Forbidding IJCAI 2025 LTLƒ Synthesis with Fairness and Stability Assumptions AAAI 2020