conftrace_

automaton construction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

on-the-fly synthesis (1) on-the-fly construction (1) sat-based technique (1) finite trace (1) deterministic finite automaton (1) linear temporal logic (1) ltlf synthesis (1) formal verification (1)

Papers

On-the-fly Synthesis for LTL over Finite Traces AAAI 2021