Robust online monitoring of signal temporal logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia. Robust online monitoring of signal temporal logic. Formal Methods in System Design, 51(1):5-30, 2017. [doi]

This author has not been identified. Look up 'Jyotirmoy V. Deshmukh' in GoogleThis author has not been identified. Look up 'Alexandre Donzé' in GoogleThis author has not been identified. Look up 'Shromona Ghosh' in GoogleThis author has not been identified. Look up 'Xiaoqing Jin' in GoogleThis author has not been identified. Look up 'Garvit Juniwal' in GoogleThis author has not been identified. Look up 'Sanjit A. Seshia' in Google

runs on WebDSL