25 citations · 56 across the 15 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.FL2018
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…
cs.FL2018
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-…