Towards Relaxing Metric Information in Linear Temporal Logic.

Carlo A. Furia Paola Spoletini

Published in: ICTCS (2009)

Keyphrases

linear temporal logic
machine learning
computational complexity
dynamical systems