FM'21: Tutorial
Prepare Your System
Tutorial
1. Getting Started
2. Best Practices
2.1. Reproducibility
2.2. Consistent Code Style
2.3. VS Code
3. Running Example
4. Model Construction
4.1. Modeling with Momba
4.2. Model the Game
5. Model Validation
6. Model Analysis
Index
