Sotabase
Home
Researchers
Career
·
Amazon
Publications
(4)
Formal Specification for Deep Neural Networks
Automated Technology for Verification and Analysis · 2018
108
cited
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
Runtime Verification · 2020
16
cited
A Language-Based Approach to Run-Time Assurance for Autonomous Systems
2020
Sotabase