Anchored LTL separation.

Grgur Petric Maretic Mohammad Torabi Dashti David A. Basin

Published in: CSL-LICS (2014)

Keyphrases

temporal logic
model checking
linear temporal logic
bounded model checking
real world
multi agent
data structure
expert systems
linear time temporal logic
deterministic automata
machine learning
artificial intelligence
computer vision
digital libraries