• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Fabio GadducciAlberto Lluch-LafuenteAndrea 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