Brandon Bohrer
Brandon Bohrer
Geverifieerd e-mailadres voor cs.cmu.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models
B Bohrer, YK Tan, S Mitsch, MO Myreen, A Platzer
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
482018
Formally verified differential dynamic logic
B Bohrer, V Rahli, I Vukotic, M Völp, A Platzer
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017
422017
Bellerophon: Tactical theorem proving for hybrid systems
N Fulton, S Mitsch, B Bohrer, A Platzer
International Conference on Interactive Theorem Proving, 207-224, 2017
302017
A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow
B Bohrer, A Platzer
142018
A Formal Safety Net for Waypoint-Following in Ground Robots
B Bohrer, YK Tan, S Mitsch, A Sogokon, A Platzer
IEEE Robotics and Automation Letters 4 (3), 2910-2917, 2019
112019
Blackbox End-to-End Verification of Ground Robot Safety and Liveness
B Bohrer, YK Tan, S Mitsch, A Sogokon, A Platzer
arXiv preprint arXiv:1903.05073, 2019
11*2019
dLι: Definite descriptions in differential dynamic logic
B Bohrer, M Fernández, A Platzer
CADE, LNCS. Springer, 2019
5*2019
dLι: Definite Descriptions in Differential Dynamic Logic⋆
B Bohrer, M Fernández, A Platzer
Tech. Rep. CMU-CS-19-111, School of Computer Science, Carnegie Mellon …, 2019
5*2019
CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation
B Bohrer, A Luo, X Chuang, A Platzer
42018
Toward Structured Proofs for Dynamic Logics
B Bohrer, A Platzer
arXiv preprint arXiv:1908.05535, 2019
32019
Constructive game logic
B Bohrer, A Platzer
European Symposium on Programming, 84-111, 2020
22020
Refining Constructive Hybrid Games
B Bohrer, A Platzer
arXiv preprint arXiv:2002.02576, 2020
2020
Constructive Hybrid Games
B Bohrer, A Platzer
arXiv preprint arXiv:2002.02536, 2020
2020
Differential-Dynamic-Logic
B Bohrer
2019
TWAM: A Certifying Abstract Machine for Logic Programs
B Bohrer, K Crary
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2018
2018
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–15