5 citations · 5 across the 1 of their papers we have counts for
2 papers
cs.LO2021★ 5 cited
Structured Proofs for Adversarial Cyber-Physical Systems
Rose Bohrer, André Platzer
Many cyber-physical systems (CPS) are safety-critical, so it is important to formally verify them, e.g. in formal logics that show a model's correctness specification always holds.…
cs.RO2019
A Formal Safety Net for Waypoint Following in Ground Robots
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch +2
We present a reusable formally verified safety net that provides end-to-end safety and liveness guarantees for 2D waypoint-following of Dubins-type ground robots with tolerances an…