Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:atse:ay_1718:main [2018/06/09 11:59] michele [Exams] |
didattica:magistrale:atse:ay_1718:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 90: | Line 90: | ||
| * [[https://arxiv.org/abs/1506.08234|Robust Online Monitoring of Signal Temporal Logic]] | * [[https://arxiv.org/abs/1506.08234|Robust Online Monitoring of Signal Temporal Logic]] | ||
| * [[https://www.sciencedirect.com/science/article/pii/S0304397515002224?via%3Dihub| System design of stochastic models using robustness of temporal properties]] | * [[https://www.sciencedirect.com/science/article/pii/S0304397515002224?via%3Dihub| System design of stochastic models using robustness of temporal properties]] | ||
| - | * Use of PEPA ([[http://www.dcs.ed.ac.uk/pepa/tools/plugin/|link]]) | + | * Use of PEPA ([[http://www.dcs.ed.ac.uk/pepa/tools/plugin/|link]]) to model one of the scenarios described below |
| - | * Use of CARMA ([[http://quanticol.github.io|link]]) | + | * Use of CARMA ([[http://quanticol.github.io|link]])to model one of the scenarios described below |
| + | |||
| + | **Scenarios** | ||
| + | * [[https://en.wikipedia.org/wiki/Compartmental_models_in_epidemiology|Epidemic Model]] | ||
| + | * [[http://www.prismmodelchecker.org/casestudies/virus.phpVirus|Diffusion Model]] | ||
| + | * [[https://en.wikipedia.org/wiki/Lotka–Volterra_equations|Predator-Prey Model]] | ||
| + | * [[http://www.prismmodelchecker.org/casestudies/asynchronous_leader.php|Asynchronous Leader Election]] | ||
| ** Results ** | ** Results ** | ||
| * N/A | * N/A | ||
| </WRAP> | </WRAP> | ||
