LTL under reductions with weaker conditions than stutter-invariance.

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

Published in: CoRR (2021)

Keyphrases

sufficient conditions
temporal logic
model checking
database
decision trees
search engine
reinforcement learning
evolutionary algorithm
logic programming