Brandon Bohrer

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 21

Top Topics

Existentially Quantified

Winning Strategy

Top Venues

Arch. Formal Proofs

IEEE Robotics Autom. Lett.

ACM Trans. Embed. Comput. Syst.

Publications

Brandon Bohrer, André Platzer
Structured Proofs for Adversarial Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Brandon Bohrer, André Platzer
Structured Proofs for Adversarial Cyber-Physical Systems. CoRR (2021)
Brandon Bohrer, André Platzer
Constructive Hybrid Games. CoRR (2020)
Brandon Bohrer, André Platzer
Constructive Hybrid Games. IJCAR (1) (2020)
Brandon Bohrer, André Platzer
Constructive Game Logic. CoRR (2020)
Brandon Bohrer, André Platzer
Refining Constructive Hybrid Games. FSCD (2020)
Brandon Bohrer, André Platzer
Constructive Game Logic. ESOP (2020)
Brandon Bohrer, André Platzer
Refining Constructive Hybrid Games. CoRR (2020)
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer
A Formal Safety Net for Waypoint-Following in Ground Robots. IEEE Robotics Autom. Lett. 4 (3) (2019)
Brandon Bohrer, Manuel Fernández, André Platzer
: Definite Descriptions in Differential Dynamic Logic. CADE (2019)
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Andrew Sogokon, André Platzer
A Formal Safety Net for Waypoint Following in Ground Robots. CoRR (2019)
Brandon Bohrer, André Platzer
Toward Structured Proofs for Dynamic Logics. CoRR (2019)
Brandon Bohrer
Interval Arithmetic on 32-bit Words. Arch. Formal Proofs 2019 (2019)
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer
VeriPhy: verified controller executables from verified cyber-physical system models. PLDI (2018)
Brandon Bohrer, Adriel Luo, Xue An Chuang, André Platzer
CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation. ADHS (2018)
Brandon Bohrer, Karl Crary
TWAM: A Certifying Abstract Machine for Logic Programs. VSTTE (2018)
Brandon Bohrer, André Platzer
A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow. LICS (2018)
Brandon Bohrer, Karl Crary
TWAM: A Certifying Abstract Machine for Logic Programs. CoRR (2018)
Nathan Fulton, Stefan Mitsch, Brandon Bohrer, André Platzer
Bellerophon: Tactical Theorem Proving for Hybrid Systems. ITP (2017)
Brandon Bohrer
Differential Dynamic Logic. Arch. Formal Proofs 2017 (2017)
Brandon Bohrer, Vincent Rahli, Ivana Vukotic, Marcus Völp, André Platzer
Formally verified differential dynamic logic. CPP (2017)