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