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:
Formal Methods Syst. Des. (2017)
Keyphrases
</>
temporal logic
model checking
modal logic
real time
satisfiability problem
concurrent systems
belief revision
transition systems
linear temporal logic
verification method
computation tree logic
artificial intelligence
model checker
dynamic constraints
automata theoretic
mazurkiewicz traces