conftrace_

temporal synthesis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

gr(1) specification (1) generalized reactivity (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