This thesis goal is to provide Alchemist with a module able to run approximate stochastic model checking. Roughly, those steps will be required:
HomeSearchAll
Roberta CalegariMatteo CasadeiGiovanni CiattoEnrico DentiStefano MarianiAmbra MolesiniSara MontagnaAndrea OmiciniAlessandro RicciMirko Viroli
Home— cloudstags— per statuscompleted | ongoing— per year & cycle2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013–19951st cycle | 2nd cycle | 3rd cycle
Approximate Stochastic Model Checking in Alchemist
Supervision
— supervisor
Mirko Viroli
— co-supervisor
Danilo Pianini
Sort
— cycle
second-cycle thesis
— status
out-of-date thesis
— language
Dates
— available since
01/07/2012