Bellerophon: Tactical Theorem Proving for Hybrid Systems Fulton, N., Mitsch, S., Bohrer, B., & Platzer, A. (2017). Bellerophon: Tactical Theorem Proving for Hybrid Systems. In ITP (Vol. 10499, pp. 207-224). Springer. http://doi.org/10.1007/978-3-319-66107-0_14
Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning Fulton, N., & Platzer, A. (2018). Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning. In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, February 2-7, 2018, New Orleans, Louisiana, USA. (pp. 6485-6492). AAAI Press.
Verifiably Safe Off-Model Reinforcement Learning Fulton, N., & Platzer, A. (2019). Verifiably Safe Off-Model Reinforcement Learning. In TACAS (Vol. 11427, pp. 413-430). Springer. http://doi.org/10.1007/978-3-030-17462-0_28
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models Mitsch, S., & Platzer, A. (2016). ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models. Form. Methods Syst. Des., 49, 33-74. http://doi.org/10.1007/s10703-016-0241-z
A Complete Uniform Substitution Calculus for Differential Dynamic Logic Platzer, A. (2017). A Complete Uniform Substitution Calculus for Differential Dynamic Logic. J. Autom. Reas., 59, 219-265. http://doi.org/10.1007/s10817-016-9385-1
Logical Foundations of Cyber-Physical Systems Platzer, A. (2018). Logical Foundations of Cyber-Physical Systems. Cham: Springer. http://doi.org/10.1007/978-3-319-63588-0
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems Fulton, N., Mitsch, S., Quesel, J. -D., Völp, M., & Platzer, A. (2015). KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. In CADE (Vol. 9195, p. 527\textendash538). Springer. http://doi.org/10.1007/978-3-319-21401-6_36