20 citations · 42 across the 13 of their papers we have counts for
4 papers · 1 filter
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…
Information-flow Interfaces and Security Lattices
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic +1
Information-flow interfaces is a formalism recently proposed for specifying, composing, and refining system-wide security requirements. In this work, we show how the widely used co…
Verifying Global Two-Safety Properties in Neural Networks with Confidence
Anagha Athavale, Ezio Bartocci, Maria Christakis +3
We present the first automated verification technique for confidence-based 2-safety properties, such as global robustness and global fairness, in deep neural networks (DNNs). Our a…
Scenario-Based Curriculum Generation for Multi-Agent Autonomous Driving
Axel Brunnbauer, Luigi Berducci, Peter Priller +2
The automated generation of diverse and complex training scenarios has been an important ingredient in many complex learning tasks. Especially in real-world application domains, su…