C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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