Dorsa Sadigh

Latest

• Safe autonomy under perception uncertainty using chance-constrained temporal logic