Login / Signup
A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL.
Alessandro Artale
Luca Geatti
Nicola Gigante
Andrea Mazzullo
Angelo Montanari
Published in:
KR (2023)
Keyphrases
</>
model checking
linear temporal logic
temporal logic
bounded model checking
deterministic automata
linear time temporal logic
data mining
formal verification
neural network
artificial intelligence
image processing
relational databases
linear complexity
finite automata