research
∙
09/28/2022
Extending Attack-Fault Trees with Runtime Verification
Autonomous systems are often complex and prone to software failures and ...
share
research
∙
08/10/2022
A Compositional Approach to Verifying Modular Robotic Systems
Robotic systems used in safety-critical industrial situations often rely...
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
∙
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
∙
06/08/2021
Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest
Communication is a critical part of enabling multi-agent systems to coop...
research
∙
12/03/2020
Towards Compositional Verification for Modular Robotic Systems
Software engineering of modular robotic systems is a challenging task, h...
research
∙
07/23/2020
Adaptable and Verifiable BDI Reasoning
Long-term autonomy requires autonomous systems to adapt as their capabil...
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/28/2019