3 citations · 6 across the 7 of their papers we have counts for
4 papers · 1 filter
Verification and Parameter Synthesis for Stochastic Systems using Optimistic Optimization
Negin Musavi, Dawei Sun, Sayan Mitra +2
We present an algorithm for formal verification and parameter synthesis of continuous state-space Markov chains. This class of problems captures the design and analysis of a wide v…
Multi-Agent Safety Verification using Symmetry Transformations
Hussein Sibai, Navid Mokhlesi, Chuchu Fan +1
We show that symmetry transformations and caching can enable scalable, and possibly unbounded, verification of multi-agent systems. Symmetry transformations map solutions and to ot…
CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination
Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh +6
Programming languages, libraries, and development tools have transformed the application development processes for mobile computing and machine learning. This paper introduces the…
Online monitoring for safe pedestrian-vehicle interactions
Peter Du, Zhe Huang, Tianqi Liu +5
As autonomous systems begin to operate amongst humans, methods for safe interaction must be investigated. We consider an example of a small autonomous vehicle in a pedestrian zone…