Property-Directed Verified Monitoring of Signal Temporal Logic.

Thomas Wright Ian Stark

Published in: RV (2020)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
formal specification language
belief revision
temporal knowledge
verification method
transition systems
linear temporal logic
computation tree logic
reactive systems
artificial intelligence
model checker
automata theoretic