Skip to main content
Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)
Search by title, author, keywords, etc.
2018
Specification-Guided Safety Verification for Feedforward Neural Networks
Weiming Xiang, Hoang-Dung Tran, Taylor Johnson
arXiv
BibTeX | Google Scholar | XML
Logical Foundations of Cyber-Physical Systems
Andre Platzer
BibTeX | Google Scholar | XML
Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning
Nathan Fulton, Andre Platzer
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, February 2-7, 2018, New Orleans, Louisiana, USA.
BibTeX | Google Scholar | XML
Tool Support for Assurance Case Development
Ewen Denney, Ganesh Pai
Journal of Automated Software Engineering
BibTeX | Google Scholar | XML
2017
A Complete Uniform Substitution Calculus for Differential Dynamic Logic
Andre Platzer
J. Autom. Reas.
BibTeX | Google Scholar | XML
Bellerophon: Tactical Theorem Proving for Hybrid Systems
Nathan Fulton, Stefan Mitsch, Brandon Bohrer, Andre Platzer
ITP
BibTeX | Google Scholar | XML
2016
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models
Stefan Mitsch, Andre Platzer
Form. Methods Syst. Des.
BibTeX | Google Scholar | XML
2015
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp, Andre Platzer
CADE
BibTeX | Google Scholar | XML