Robust Online Monitoring of Signal Temporal Logic.

Jyotirmoy V. Deshmukh Alexandre Donzé Shromona Ghosh Xiaoqing Jin Garvit Juniwal Sanjit A. Seshia

Published in: RV (2015)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
real time
concurrent systems
transition systems
linear temporal logic
verification method
belief revision
orders of magnitude
model checker
temporal knowledge
dynamic constraints
bounded model checking
computation tree logic