1 citations · 1 across the 1 of their papers we have counts for
4 papers
A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A
David Greve, Jennifer Davis, Laura Humphrey
The decentralized perimeter surveillance system (DPSS) seeks to provide a decentralized protocol for evenly distributing surveillance of a perimeter over time across an ensemble of…
Synthesis of Admissible Shields
Laura Humphrey, Bettina Könighofer, Robert Könighofer +1
Shield synthesis is an approach to enforce a set of safety-critical properties of a reactive system at runtime. A shield monitors the system and corrects any erroneous output value…
Trust-based Multi-Robot Symbolic Motion Planning with a Human-in-the-Loop
Yue Wang, Laura R. Humphrey, Zhanrui Liao +1
Symbolic motion planning for robots is the process of specifying and planning robot tasks in a discrete space, then carrying them out in a continuous space in a manner that preserv…
Structured Synthesis for Probabilistic Systems
Nils Jansen, Laura Humphrey, Jana Tumova +1
We introduce the concept of structured synthesis for Markov decision processes where the structure is induced from finitely many pre-specified options for a system configuration. T…