1 citations · 1 across the 4 of their papers we have counts for
3 papers · 1 filter
Knowledge Compilation for Quantification in Alternating Automata
S. Akshay, Alfredo Cantarella, Supratik Chakraborty +2
We present a knowledge compilation approach for existential and universal quantification in alternating automata. Knowledge compilation transforms formulas into normal forms with s…
Trace Repair for Temporal Behavior Trees
Sebastian Schirmer, Philipp Schitz, Johann C. Dauer +2
We present methods for repairing traces against specifications given as temporal behavior trees (TBT). TBT are a specification formalism for action sequences in robotics and cyber-…
Temporal Stream Logic: Synthesis beyond the Bools
Bernd Finkbeiner, Felix Klein, Ruzica Piskac +1
Reactive systems that operate in environments with complex data, such as mobile apps or embedded controllers with many sensors, are difficult to synthesize. Synthesis tools usually…