no code implementations • 26 Sep 2023 • Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon, Marco Roveri, Luigi Palopoli
In this paper, we propose a robot oriented knowledge management system based on the use of the Prolog language.
no code implementations • 31 Oct 2022 • Marco Roveri, Franc Ivankovic, Luigi Palopoli, Daniele Fontanelli
In this paper, we take a Markovian stochastic model for the spread of a SARSCoV-2-like infection.
no code implementations • 24 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).
no code implementations • 9 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.