Sotabase

Career

· Waymo

Publications (32)

Scenic: a language for scenario specification and scene generation
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2018
295
cited
Robust online monitoring of signal temporal logic
Formal methods in system design · 2015
218
cited
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
International Conference on Computer Aided Verification · 2019
215
cited
Bridging Hamilton-Jacobi Safety Analysis and Reinforcement Learning
IEEE International Conference on Robotics and Automation · 2019
165
cited
Scenic: a language for scenario specification and data generation
Machine-mediated learning · 2020
126
cited
Formal Specification for Deep Neural Networks
Automated Technology for Verification and Analysis · 2018
108
cited
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems
Dependable Systems and Networks · 2018
78
cited
Counterexample-Guided Data Augmentation
International Joint Conference on Artificial Intelligence · 2018
68
cited
Systematic Testing of Convolutional Neural Networks for Autonomous Driving
arXiv.org · 2017
66
cited
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
International Conference on Hybrid Systems: Computation and Control · 2016
49
cited
Reachability-Based Safety Guarantees using Efficient Initializations
IEEE Conference on Decision and Control · 2019
46
cited
Verifying Controllers Against Adversarial Examples with Bayesian Optimization
IEEE International Conference on Robotics and Automation · 2018
46
cited
A Formalization of Robustness for Deep Neural Networks
arXiv.org · 2019
33
cited
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
arXiv.org · 2019
33
cited
Counterexample-Guided Synthesis of Perception Models and Control
American Control Conference · 2019
20
cited
A Minimum Discounted Reward Hamilton–Jacobi Formulation for Computing Reachable Sets
IEEE Transactions on Automatic Control · 2018
16
cited
SOTER: Programming Safe Robotics System using Runtime Assurance
arXiv.org · 2018
13
cited
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
International Conference on Computer Aided Verification · 2023
12
cited
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics
International Conference on Hybrid Systems: Computation and Control · 2019
12
cited
Time Series Learning using Monotonic Logical Properties
Runtime Verification · 2018
11
cited
Sotabase