13 citations · 31 across the 12 of their papers we have counts for
4 papers · 1 filter
Approximate Automata for Omega-Regular Languages
Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah
Automata over infinite words, also known as omega-automata, play a key role in the verification and synthesis of reactive systems. The spectrum of omega-automata is defined by two…
Canonical Representations of k-Safety Hyperproperties
Bernd Finkbeiner, Lennart Haas, Hazem Torfah
Hyperproperties elevate the traditional view of trace properties form sets of traces to sets of sets of traces and provide a formalism for expressing information-flow policies. For…
Synthesizing Skeletons for Reactive Systems
Bernd Finkbeiner, Hazem Torfah
We present an analysis technique for temporal specifications of reactive systems that identifies, on the level of individual system outputs over time, which parts of the implementa…
The Density of Linear-time Properties
Bernd Finkbeiner, Hazem Torfah
Finding models for linear-time properties is a central problem in verification and planning. We study the distribution of linear-time models by investigating the density of linear-…