Online Reset for Signal Temporal Logic Monitoring.

Zhenya Zhang Paolo Arcaini Xuan Xie

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
real time
linear temporal logic
verification method
belief revision
temporal knowledge
model checker
automata theoretic
formal specification language
formal methods
epistemic logic
transition systems