Preview of predictive monitoring for signal temporal logic with probabilistic guarantees.

Xin Qin Jyotirmoy V. Deshmukh

Published in: SNR (2019)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
linear temporal logic
temporal knowledge
computation tree logic
uncertain data
model checker
belief revision
video sequences
temporally extended
formal specification language
mazurkiewicz traces