Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1808.07921
Cited By
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems
23 August 2018
Ankush Desai
Shromona Ghosh
Sanjit A. Seshia
N. Shankar
A. Tiwari
Re-assign community
ArXiv
PDF
HTML
Papers citing
"SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems"
5 / 5 papers shown
Title
FaSTrack: a Modular Framework for Fast and Guaranteed Safe Motion Planning
Sylvia Herbert
Mo Chen
Soojean Han
Somil Bansal
J. F. Fisac
Claire Tomlin
37
236
0
21 Mar 2017
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
T. Dreossi
Alexandre Donzé
Sanjit A. Seshia
AAML
72
230
0
02 Mar 2017
OpenAI Gym
Greg Brockman
Vicki Cheung
Ludwig Pettersson
Jonas Schneider
John Schulman
Jie Tang
Wojciech Zaremba
OffRL
ODL
174
5,056
0
05 Jun 2016
Provably Safe and Robust Learning-Based Model Predictive Control
A. Aswani
Humberto González
S. Shankar Sastry
Claire Tomlin
81
522
0
13 Jul 2011
Sampling-based Algorithms for Optimal Motion Planning
S. Karaman
Emilio Frazzoli
75
4,660
0
05 May 2011
1