New Symbolic Model and Equivalences Checking for Open Automata.
Biyang WangEric MadelaineMin ZhangPublished in: SMC (2021)
Keyphrases
- high level
- mathematical model
- experimental data
- computational model
- data sets
- formal model
- process model
- theoretical framework
- probabilistic model
- database
- probability distribution
- management system
- data model
- cellular automata
- prior knowledge
- objective function
- statistical model
- similarity measure
- sensitivity analysis
- lattice gas