Login / Signup
Robust Online Monitoring of Signal Temporal Logic.
Jyotirmoy V. Deshmukh
Alexandre Donzé
Shromona Ghosh
Xiaoqing Jin
Garvit Juniwal
Sanjit A. Seshia
Published in:
CoRR (2015)
Keyphrases
</>
temporal logic
model checking
modal logic
real time
satisfiability problem
concurrent systems
computation tree logic
linear temporal logic
reactive systems
dynamic constraints
belief revision
temporal knowledge
temporally extended
inference rules
bounded model checking
automata theoretic
mazurkiewicz traces