An Overview of Modest Models and Tools for Real Stochastic Timed Systems.
Arnd HartmannsPublished in: MARS@ETAPS (2022)
Keyphrases
- complex systems
- finite state machines
- uml models
- distributed systems
- probabilistic model
- mathematical models
- building blocks
- experimental data
- analytical models
- expert systems
- learning systems
- monte carlo
- stochastic models
- formal models
- computational tools
- stochastic processes
- markov chain
- decision support
- reinforcement learning
- physical systems
- simulation models
- design tools
- computational models
- statistical methods
- statistical models
- data sets
- retrieval systems
- petri net
- computer systems