1 citations · 1 across the 2 of their papers we have counts for
3 papers
Differentially Private Runtime Monitoring
Bernd Finkbeiner, Frederik Scheerer
Modern stream-based monitors collect detailed statistics of the runtime behavior of the system under observation. If the system runs in a privacy-sensitive context, this poses the…
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-…