no code implementations • 7 Dec 2020 • Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas Heinze, Holger Hermanns, Mohammad Reza Mousavi
We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time- and value-domains.
Logic in Computer Science
no code implementations • 31 Jul 2020 • Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu
We consider the problem of optimal reactive synthesis - compute a strategy that satisfies a mission specification in a dynamic environment, and optimizes a performance metric.
no code implementations • 6 Feb 2019 • Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
We study the problem of synthesizing strategies for a mobile sensor network to conduct surveillance in partnership with static alarm triggers.
no code implementations • 3 Nov 2014 • Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
#SMT, or model counting for logical theories, is a well-known hard problem that generalizes such tasks as counting the number of satisfying assignments to a Boolean formula and computing the volume of a polytope.