Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Robust online monitoring of signal temporal logic

2017181 citationsJournal Article

Authors

Jyotirmoy V. Deshmukh · Toyota Motor Corporation (Switzerland)

Alexandre Donzé · University of California, Berkeley

Shromona Ghosh · University of California, Berkeley

Xiaoqing Jin · Toyota Motor Corporation (Switzerland)

Garvit Juniwal · University of California, Berkeley

Sanjit A. Seshia · University of California, Berkeley

Topics & Keywords

Formal Methods in Verification Embedded Systems Design Techniques Software Testing and Debugging Techniques

Publication Details

Published in: Formal Methods in System Design

Volume 51, Issue 1, pp. 5-30

DOI: 10.1007/s10703-017-0286-7

Field-Weighted Citation Impact: 13.03

Robust online monitoring of signal temporal logic | Researchclopedia