research
∙
05/24/2022
A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A
The decentralized perimeter surveillance system (DPSS) seeks to provide ...
share
research
∙
04/15/2019
Synthesis of Admissible Shields
Shield synthesis is an approach to enforce a set of safety-critical prop...
research
∙
07/16/2018
