Sanjit A. Seshia

Latest

• TeLEx: learning signal temporal logic from positive examples using tightness metric
• Learning Task Specifications from Demonstrations
• Safe autonomy under perception uncertainty using chance-constrained temporal logic