Semipositive LTL with an Uninterpreted Past Operator.

Published in: Log. J. IGPL (2005)

Keyphrases

temporal logic
model checking
real world
linear temporal logic
bounded model checking
machine learning
deterministic automata
real time
data sets
multiscale
relational databases
knowledge representation
state space