conftrace_

finite-trace synthesis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

LTLƒ Synthesis with Fairness and Stability Assumptions AAAI 2020