research
∙
11/21/2022
Ain't No Stopping Us Monitoring Now
Not all properties are monitorable. This is a well-known fact, and it me...
share
research
∙
09/28/2022
Extending Attack-Fault Trees with Runtime Verification
Autonomous systems are often complex and prone to software failures and ...
research
∙
08/10/2022
A Compositional Approach to Verifying Modular Robotic Systems
Robotic systems used in safety-critical industrial situations often rely...
research
∙
07/20/2022
RV4JaCa – Runtime Verification for Multi-Agent Systems
This paper presents a Runtime Verification (RV) approach for Multi-Agent...
research
∙
07/19/2022
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy
This volume contains the proceedings of the Second Workshop on Agents an...
research
∙
02/18/2022
Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems
Multi-Agent Systems (MAS) are notoriously complex and hard to verify. In...
research
∙
12/27/2021
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information
In logics for the strategic reasoning the main challenge is represented ...
research
∙
10/25/2021
Towards Partial Monitoring: It is Always too Soon to Give Up
Runtime Verification is a lightweight formal verification technique. It ...
research
∙
10/15/2021
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest
In this paper, we describe the strategies used by our team, MLFC, that l...
research
∙
08/31/2020
Can determinism and compositionality coexist in RML?
Runtime verification (RV) consists in dynamically verifying that the eve...
research
∙
08/14/2020
Can determinism and compositionality coexist in RML? (extended version)
Runtime verification (RV) consists in dynamically verifying that the eve...
research
∙
07/22/2020
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy
This volume contains the proceedings of the First Workshop on Agents and...
research
∙
07/20/2020
Heterogeneous Verification of an Autonomous Curiosity Rover
The Curiosity rover is one of the most complex systems successfully depl...
research
∙
06/04/2020
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest
The 2019 Multi-Agent Programming Contest introduced a new scenario, Agen...
research
∙
08/22/2019
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
The battery is a key component of autonomous robots. Its performance lim...
research
∙
02/04/2019
On the Enactability of Agent Interaction Protocols: Toward a Unified Approach
Interactions between agents are usually designed from a global viewpoint...
research
∙
02/04/2019