Simulation and verification II: from timed automata to DEVS models.
Norbert GiambiasiJean-Luc PailletFrédéric ChânePublished in: WSC (2003)
Keyphrases
- timed automata
- model checking
- probabilistic model
- computational models
- simulation models
- monte carlo simulation
- mathematical models
- simulation model
- statistical models
- discrete event
- analytical model
- belief revision
- information retrieval
- complex systems
- model selection
- mobile robot
- image sequences
- artificial intelligence
- learning algorithm