conftrace_

bdd-based fixpoint

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

fairness assumption (1) finite-trace synthesis (1) infinite-trace assumption (1) ltl synthesis (1) stability assumption (1) finite trace (1) formal verification (1)

Papers

LTLƒ Synthesis with Fairness and Stability Assumptions AAAI 2020