| KeYmaera X: An axiomatic tactical theorem prover for hybrid systems N Fulton, S Mitsch, JD Quesel, M Völp, A Platzer International Conference on Automated Deduction, 527-538, 2015 | 162 | 2015 |
| Safe Reinforcement Learning via Formal Methods N Fulton, A Platzer | 68* | 2018 |
| Bellerophon: Tactical theorem proving for hybrid systems N Fulton, S Mitsch, B Bohrer, A Platzer International Conference on Interactive Theorem Proving, 207-224, 2017 | 31 | 2017 |
| Verifiably safe off-model reinforcement learning N Fulton, A Platzer International Conference on Tools and Algorithms for the Construction and …, 2019 | 25 | 2019 |
| Verifiably safe autonomy for cyber-physical systems N Fulton Ph. D. thesis, Computer Science Department, School of Computer Science …, 2018 | 9 | 2018 |
| A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics N Fulton, A Platzer Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016 | 8* | 2016 |
| Safe AI for CPS N Fulton, A Platzer 2018 IEEE International Test Conference (ITC), 1-7, 2018 | 5 | 2018 |
| Statically typed string sanitation inside a Python N Fulton, C Omar, J Aldrich Proceedings of the 2014 International Workshop on Privacy & Security in …, 2014 | 4 | 2014 |
| Security through extensible type systems N Fulton Proceedings of the 3rd annual conference on Systems, programming, and …, 2012 | 3 | 2012 |
| Verifiably safe exploration for end-to-end reinforcement learning N Hunt, N Fulton, S Magliacane, N Hoang, S Das, A Solar-Lezama arXiv preprint arXiv:2007.01223, 2020 | 2 | 2020 |
| Verifiably safe scuba diving using commodity sensors: work-in-progress V Bajaj, K Elmaaroufi, N Fulton, A Platzer Proceedings of the International Conference on Embedded Software Companion, 1-2, 2019 | 1 | 2019 |
| Proving autonomous vehicle and advanced driver assistance systems safety: final research report. N Fulton, R Ji, A Platzer Carnegie-Mellon University. Technologies for Safe and Efficient …, 2016 | 1 | 2016 |
| A typed lambda calculus for input sanitation N Fulton | 1 | 2013 |
| CertRL: formalizing convergence proofs for value and policy iteration in Coq K Vajjha, A Shinnar, B Trager, V Pestun, N Fulton Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021 | | 2021 |
| A Formally Verified Plasma Vertical Position Control Algorithm M Wu, J Rosenberg, N Fulton International Conference on Formal Methods for Industrial Critical Systems …, 2020 | | 2020 |
| Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges N Fulton, N Hunt, N Hoang, S Das arXiv preprint arXiv:2006.09181, 2020 | | 2020 |
| Work-in-Progress: Verifiably Safe SCUBA Diving using Commodity Sensors V Bajaj, K Elmaaroufi, N Fulton, A Platzer 2019 International Conference on Embedded Software (EMSOFT), 1-2, 2019 | | 2019 |
| Talk on Safe Reinforcement Learning via Formal Methods N Fulton, A Platzer AITP 2018, 2018 | | 2018 |
| Proving Autonomous Vehicle and Advanced Driver Assistance Systems Safety N Fulton, R Ji, A Platzer Technologies for Safe & Efficient Transportation, 2016 | | 2016 |
| Statically Typed String Sanitation Inside a Python (Technical Report) N Fulton, C Omar, J Aldrich | | 2014 |
André PlatzerProfessor, Carnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
