Online Causation Monitoring of Signal Temporal Logic.

Zhenya Zhang Jie An Paolo Arcaini Ichiro Hasuo

Published in: CAV (1) (2023)

Keyphrases

temporal logic
model checking
real time
modal logic
satisfiability problem
concurrent systems
linear temporal logic
reactive systems
temporal knowledge
computation tree logic
mazurkiewicz traces
belief revision
transition systems
bounded model checking
formal specification language
model checker