conftrace_

gr(1) specification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

temporal synthesis (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