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
1622015
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
312017
Verifiably safe off-model reinforcement learning
N Fulton, A Platzer
International Conference on Tools and Algorithms for the Construction and …, 2019
252019
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
Safe AI for CPS
N Fulton, A Platzer
2018 IEEE International Test Conference (ITC), 1-7, 2018
52018
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
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
12016
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, 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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20