Skip to main content
Hamburger Menu
Home
Tools
Tool Listing
Tool Search
Publications
About Us
Communities
Contact Us
Assured Autonomy Tools Portal
Login
Not a member?
Forgot your password?
Submit
Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)
Andre Platzer
Andre Platzer's Publications
A formal safety net for waypoint-following in ground robots
Bellerophon: Tactical Theorem Proving for Hybrid Systems
Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning
Verifiably Safe Off-Model Reinforcement Learning
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models
A Complete Uniform Substitution Calculus for Differential Dynamic Logic
Logical Foundations of Cyber-Physical Systems
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems