LTL Under Reductions with Weaker Conditions Than Stutter Invariance.

Emmanuel Paviot-Adet Denis Poitrenaud Etienne Renault Yann Thierry-Mieg

Published in: FORTE (2022)

Keyphrases

sufficient conditions
model checking
neural network
temporal logic
data sets
linear temporal logic
information retrieval
computer vision
data structure
search algorithm
environmental conditions
invariance properties