18 citations · 51 across the 11 of their papers we have counts for
11 papers
Evaluating Heuristic Search Algorithms in Pathfinding: A Comprehensive Study on Performance Metrics and Domain Parameters
Aya Kherrour, Marco Robol, Marco Roveri +1
The paper presents a comprehensive performance evaluation of some heuristic search algorithms in the context of autonomous systems and robotics. The objective of the study is to ev…
When Prolog meets generative models: a new approach for managing knowledge and planning in robotic applications
Enrico Saccon, Ahmet Tikna, Davide De Martini +3
In this paper, we propose a robot oriented knowledge management system based on the use of the Prolog language. Our framework hinges on a special organisation of knowledge base tha…
Implementing BDI Continual Temporal Planning for Robotic Agents
Alex Zanetti, Devis Dal Moro, Redi Vreto +3
Making autonomous agents effective in real-life applications requires the ability to decide at run-time and a high degree of adaptability to unpredictable and uncontrollable events…
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…
Satisfiability Modulo Transcendental Functions via Incremental Linearization
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan +2
In this paper we present an abstraction-refinement approach to Satisfiability Modulo the theory of transcendental functions, such as exponentiation and trigonometric functions. The…
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF
Alessandro Cimatti, Alberto Griggio, Ahmed Irfan +2
Model checking invariant properties of designs, represented as transition systems, with non-linear real arithmetic (NRA), is an important though very hard problem. On the one hand…
Software Model Checking with Explicit Scheduler and Symbolic Threads
Alessandro Cimatti, Iman Narasamdya, Marco Roveri
In many practical application domains, the software is organized into a set of threads, whose activation is exclusive and controlled by a cooperative scheduling policy: threads exe…
Formalization and Validation of Safety-Critical Requirements
Alessandro Cimatti, Marco Roveri, Angelo Susi +1
The validation of requirements is a fundamental step in the development process of safety-critical systems. In safety critical applications such as aerospace, avionics and railways…