Proven correct monitors from PSL specifications.

Katell Morin-Allory Dominique Borrione

Published in: DATE (2006)

Keyphrases

learning algorithm
high level
formal specification
decision trees
natural language
delay insensitive
machine learning
multi agent systems
image analysis