LTL Fragments are Hard for Standard Parameterisations.

Martin Lück Arne Meier

Published in: TIME (2015)

Keyphrases

website
multiresolution
machine learning
digital libraries
artificial neural networks
evolutionary algorithm
temporal logic
deterministic automata