118 citations · 345 across the 21 of their papers we have counts for
5 papers · 1 filter
The promising future of a robust cosmological neutrino mass measurement
Thejs Brinckmann, Deanna C. Hooper, Maria Archidiacono +2
We forecast the sensitivity of thirty-five different combinations of future Cosmic Microwave Background and Large Scale Structure data sets to cosmological parameters and to the to…
Monitoring Hyperproperties
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger +1
Hyperproperties, such as non-interference and observational determinism, relate multiple system executions to each other. They are not expressible in standard temporal logics, like…
Encodings of Bounded Synthesis
Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe +1
The reactive synthesis problem is to compute a system satisfying a given specification in temporal logic. Bounded synthesis is the approach to bound the maximum size of the system…
BoSy: An Experimentation Framework for Bounded Synthesis
Peter Faymonville, Bernd Finkbeiner, Leander Tentrup
We present BoSy, a reactive synthesis tool based on the bounded synthesis approach. Bounded synthesis ensures the minimality of the synthesized implementation by incrementally incr…
On Expansion and Resolution in CEGAR Based QBF Solving
Leander Tentrup
A quantified Boolean formula (QBF) is a propositional formula extended with universal and existential quantification over propositions. There are two methodologies in CEGAR based Q…