43 citations · 74 across the 15 of their papers we have counts for
16 papers · 1 filter
Tractable Hyperproperties for MDPs
Lina Gerlach, Tobias Winkler, Erika Ábrahám +2
Probabilistic hyperproperties describe probabilistic relations between multiple sets of executions in a stochastic system. Prominent examples include information-theoretic characte…
Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
Lina Gerlach, Tobias Winkler, Erika Ábrahám +2
Markov decision processes model systems subject to nondeterministic and probabilistic uncertainty. A plethora of verification techniques addresses variations of reachability proper…
Efficient Discovery of Actual Causality using Abstraction-Refinement
Arshia Rafieioskouei, Borzoo Bonakdarpour
Causality is the relationship where one event contributes to the production of another, with the cause being partly responsible for the effect and the effect partly dependent on th…
Syntax-Guided Automated Program Repair for Hyperproperties
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour +1
We study the problem of automatically repairing infinite-state software programs w.r.t. temporal hyperproperties. As a first step, we present a repair approach for the temporal log…
Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
Borzoo Bonakdarpour, Anik Momtaz, Dejan Ničković +1
In distributed systems with processes that do not share a global clock, \emph{partial synchrony} is achieved by clock synchronization that guarantees bounded clock skew among all a…
Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
Charles Koll, Anik Momtaz, Borzoo Bonakdarpour +1
We present the first decentralized algorithm for detecting predicates over continuous-time signals under partial synchrony. A distributed cyber-physical system (CPS) consists of a…