Signal Temporal Logic Meets Reachability: Connections and Applications.

Mo Chen Qizhan Tam Scott C. Livingston Marco Pavone

Published in: WAFR (2018)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
linear temporal logic
verification method
state space
computation tree logic
formal specification language
transitive closure
temporal knowledge
reactive systems
mazurkiewicz traces