Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models.
Laura CarnevaliLorenzo RidiEnrico VicarioPublished in: QEST (2011)
Keyphrases
- state space
- modeling framework
- statistical analysis
- probabilistic model
- data driven approaches
- reinforcement learning
- simulation environment
- mathematical models
- bayesian framework
- simulation models
- analysis tool
- statistical models
- data analysis
- computational models
- markov chain
- mathematical framework
- decision making
- heuristic search
- agent based simulations
- agent based models
- qualitative simulation
- stochastic process
- markov decision process
- high level
- analytical model
- prior knowledge
- process model
- machine learning
- mathematical model