Search Results for author: Marco Roveri

Found 4 papers, 0 papers with code

A Markovian Model for the Spread of the SARS-CoV-2 Virus

no code implementations24 Apr 2022 Luigi Palopoli, Daniele Fontanelli, Marco Frego, Marco Roveri

For a given control policy, it is possible to verify if it satisfies an analytical property on the stochastic evolution of the state (e. g., to compute probability that the hospital beds will reach a fill level, or that a specified percentage of the population will die).

Computing unsatisfiable cores for LTLf specifications

no code implementations9 Mar 2022 Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino, Chiara Ghidini

In this paper, we investigate the problem of extracting the unsatisfiable core in LTLf specifications.

Management

Cannot find the paper you are looking for? You can Submit a new open access paper.