LTL is closed under topological closure.

Grgur Petric Maretic Mohammad Torabi Dashti David A. Basin

Published in: Inf. Process. Lett. (2014)

Keyphrases

temporal logic
model checking
closure operator
bounded model checking
topological properties
linear temporal logic
deterministic automata
real world
topological spaces
linear time temporal logic
data mining
data structure
spatial relations
topological features
directional relations