Verifiably Safe Off-Model Reinforcement Learning. | 0 | 0.34 | 2019 |
Verifiably Safe Off-Model Reinforcement Learning. | 0 | 0.34 | 2019 |
Verifiably safe SCUBA diving using commodity sensors - work-in-progress. | 0 | 0.34 | 2019 |
Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning. | 3 | 0.37 | 2018 |
Safe AI for CPS (Invited Paper) | 1 | 0.35 | 2018 |
Bellerophon: Tactical Theorem Proving For Hybrid Systems | 2 | 0.39 | 2017 |
A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics. | 1 | 0.36 | 2016 |
KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems | 38 | 1.18 | 2015 |
Statically typed string sanitation inside a python | 1 | 0.35 | 2014 |