Nathan Fulton
Nathan Fulton
MIT-IBM Watson AI Lab
Geverifieerd e-mailadres voor ibm.com - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1522015
Safe Reinforcement Learning via Formal Methods
N Fulton, A Platzer
592018
Bellerophon: Tactical theorem proving for hybrid systems
N Fulton, S Mitsch, B Bohrer, A Platzer
International Conference on Interactive Theorem Proving, 207-224, 2017
312017
Verifiably safe off-model reinforcement learning
N Fulton, A Platzer
International Conference on Tools and Algorithms for the Construction and …, 2019
232019
Verifiably safe autonomy for cyber-physical systems
N Fulton
Ph. D. thesis, Computer Science Department, School of Computer Science …, 2018
92018
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
Statically typed string sanitation inside a Python
N Fulton, C Omar, J Aldrich
Proceedings of the 2014 International Workshop on Privacy & Security in …, 2014
42014
Security through extensible type systems
N Fulton
Proceedings of the 3rd annual conference on Systems, programming, and …, 2012
32012
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
22020
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
12019
A typed lambda calculus for input sanitation
N Fulton
12013
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq
K Vajjha, A Shinnar, V Pestun, B Trager, N Fulton
arXiv preprint arXiv:2009.11403, 2020
2020
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
2016
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
2016
Statically Typed String Sanitation Inside a Python (Technical Report)
N Fulton, C Omar, J Aldrich
2014
15-819 Homotopy Type Theory Lecture Notes
N Fulton
2013
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20