Learning-Based Compositional Verification for Synchronous Probabilistic Systems.

Lu Feng Tingting Han Marta Z. Kwiatkowska David Parker

Published in: ATVA (2011)

Keyphrases

learning systems
reinforcement learning
learning algorithm
expert systems
learning process
knowledge acquisition
learning problems
knowledge base
active learning
management system
supervised learning
graphical models
collaborative learning
online learning
building blocks
model checking