[PFFR23]
Luigi Palopoli, Daniele Fontanelli, Marco Frego and Marco Roveri.
A Markovian model for the spread of the SARS-CoV-2 virus.
Automatica.
2023.
[Uses a PRISM-based tool chain to analyse policies of a POMDP model of the spread of the SARS-CoV-2 virus. ]
|
