Validation of Formal Models by Timed Probabilistic Simulation.
Fabian VuMichael LeuschelAtif MashkoorPublished in: ABZ (2021)
Keyphrases
- formal models
- rule based systems
- formal model
- process model
- discrete event
- neural network
- expert systems
- probabilistic model
- data driven
- generative model
- petri net
- simulation models
- simulation model
- artificial intelligence
- bayesian networks
- probabilistic logic
- search engine
- case study
- posterior probability
- decision rules
- mathematical model
- knowledge based systems