18 citations · 51 across the 11 of their papers we have counts for
4 papers · 1 filter
Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations
Marco Roveri, Franc Ivankovic, Luigi Palopoli +1
There is a growing interest in modeling and analyzing the spread of diseases like the SARS-CoV-2 infection using stochastic models. These models are typically analyzed quantitative…
Real-Time BDI Agents: a model and its implementation
Andrea Traldi, Francesco Bruschetti, Marco Robol +3
The BDI model proved to be effective for developing applications requiring high-levels of autonomy and to deal with the complexity and unpredictability of real-world scenarios. The…
A Markovian Model for the Spread of the SARS-CoV-2 Virus
Luigi Palopoli, Daniele Fontanelli, Marco Frego +1
We propose a Markovian stochastic approach to model the spread of a SARS-CoV-2-like infection within a closed group of humans. The model takes the form of a Partially Observable Ma…
Computing unsatisfiable cores for LTLf specifications
Marco Roveri, Claudio Di Ciccio, Chiara Di Francescomarino +1
Linear-time temporal logic on finite traces (LTLf) is rapidly becoming a de-facto standard to produce specifications in many application domains (e.g., planning, business process m…