Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia. Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic. Journal of Automated Reasoning, 60(1):43-62, 2018. [doi]

This author has not been identified. Look up 'Susmit Jha' in GoogleThis author has not been identified. Look up 'Vasumathi Raman' in GoogleThis author has not been identified. Look up 'Dorsa Sadigh' in GoogleThis author has not been identified. Look up 'Sanjit A. Seshia' in Google

runs on WebDSL