Search Results for author:
Found 4 papers, 0 papers with code
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
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
Near-Optimal Reactive Synthesis Incorporating Runtime Information
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.
Distributed Synthesis of Surveillance Strategies for Mobile Sensors
We study the problem of synthesizing strategies for a mobile sensor network to conduct surveillance in partnership with static alarm triggers.
Approximate Counting in SMT and Value Estimation for Probabilistic Programs
#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.
