conftrace_

generalized reactivity

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

temporal synthesis (1) gr(1) specification (1) temporal logic synthesis (1) linear temporal logic (1) fairness constraint (1) formal verification (1) game theory (1)

Papers

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis IJCAI 2021