Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models.

Fabio Gadducci Alberto Lluch-Lafuente Andrea Vandin

Published in: ICGT (2012)

Keyphrases

probabilistic model
search engine
complex systems
statistical models
closed form
real time
databases
three dimensional
reinforcement learning
search algorithm
prior knowledge
probability distribution