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