conf.researchr.org / Nathan Fulton
Nathan Fulton

Registered user since Wed 30 Jan 2019

Name:Nathan Fulton
Country:United States
Affiliation:MIT-IBM Watson AI Lab
Personal website:http://nfulton.org/

Contributions

InterAVT 2019 Author of Invited Talk - "End-to-End Verification of Intelligent Cyber-Physical Systems: Progress and Challenges" within the InterAVT-track
TACAS 2019 Author of Verifiably Safe Off-Model Reinforcement Learning within the TACAS 2019-track
ETAPS 2019 Author of Verifiably Safe Off-Model Reinforcement Learning within the Posters-track
CPP 2016 Author of A Logic of Proofs for Differential Dynamic Logic within the CPP-track
SPLASH 2012 Author of Security through extensible type systems within the ACM Student Research Competition-track