Andre Platzer
Affiliations: | Carnegie Mellon University, Pittsburgh, PA |
Area:
Electronics and Electrical Engineering, Computer ScienceGoogle:
"Andre Platzer"
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Bohrer B, Luo A, Chuang XA, et al. (2018) CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation. Ifac-Papersonline. 51: 55-60 |
| Müller A, Mitsch S, Retschitzegger W, et al. (2018) Tactical contract composition for hybrid system component verification International Journal On Software Tools For Technology Transfer. 20: 615-643 |
| Mitsch S, Ghorbal K, Vogelbacher D, et al. (2017) Formal verification of obstacle avoidance and navigation of ground robots The International Journal of Robotics Research. 36: 1312-1340 |
| Platzer A. (2017) Differential Hybrid Games Acm Transactions On Computational Logic. 18: 19 |
| Franchetti F, Low TM, Mitsch S, et al. (2017) High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control Ieee Control Systems Magazine. 37: 82-103 |
| Jeannin JB, Ghorbal K, Kouskoulas Y, et al. (2017) A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System International Journal On Software Tools For Technology Transfer. 19: 717-741 |
| Fulton N, Platzer A. (2016) A logic of proofs for differential dynamic logic: Toward independently checkable proof certificates for dynamic logics Cpp 2016 - Proceedings of the 5th Acm Sigplan Conference On Certified Programs and Proofs, Co-Located With Popl 2016. 110-121 |
| Platzer A. (2016) How to prove hybrid systems and why that matters Proceedings of the 2015 International Conference On Complex Systems Engineering, Iccse 2015 |
| Platzer A. (2016) A Complete Uniform Substitution Calculus for Differential Dynamic Logic Journal of Automated Reasoning. 1-47 |
| Quesel JD, Mitsch S, Loos S, et al. (2016) How to model and prove hybrid systems with KeYmaera: a tutorial on safety International Journal On Software Tools For Technology Transfer. 18: 67-91 |