C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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