Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract).

Adrian Francalanza Aldrin Seychell

Published in: RV (2013)

Keyphrases

extended abstract
knowledge base
high level
image sequences
management system
genetic algorithm
information systems
feature selection
image processing
multi agent
hierarchical reinforcement learning
runtime environment