On Relaxing Metric Information in Linear Temporal Logic

Carlo A. Furia Paola Spoletini

Published in: CoRR (2009)

Keyphrases

web services
high level
reinforcement learning
probability distribution
information content
information flow