Tutorial/Examples
This page contains many examples illustrating most of Jajapy features.
- 1. A simple example with MC: Hello World
- 2. Learning an MC with random restart
- 3. Learning an MDP from a prism file
- 4. Learning an MDP using Active-BW
- 5. Learning CTMCs
- 6. Parameter estimation for PCTMCs
- 7. A simple example with HMM
- 8. Learning a GoHMM from a csv
- 9. Learning an MC with Alergia
- 10. Learning an MDP with IOAlergia
