Picture for Angelo Ferrando

Angelo Ferrando

University of Genoa

3vLTL: A Tool to Generate Automata for Three-valued LTL

Add code
Nov 16, 2023
Viaarxiv icon

Runtime Verification for Trustworthy Computing

Add code
Oct 03, 2023
Viaarxiv icon

Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy

Add code
Sep 30, 2023
Viaarxiv icon

RV4JaCa -- Runtime Verification for Multi-Agent Systems

Add code
Jul 20, 2022
Figure 1 for RV4JaCa -- Runtime Verification for Multi-Agent Systems
Figure 2 for RV4JaCa -- Runtime Verification for Multi-Agent Systems
Figure 3 for RV4JaCa -- Runtime Verification for Multi-Agent Systems
Viaarxiv icon

Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy

Add code
Jul 19, 2022
Viaarxiv icon

Towards Partial Monitoring: It is Always too Soon to Give Up

Add code
Oct 25, 2021
Figure 1 for Towards Partial Monitoring: It is Always too Soon to Give Up
Figure 2 for Towards Partial Monitoring: It is Always too Soon to Give Up
Figure 3 for Towards Partial Monitoring: It is Always too Soon to Give Up
Figure 4 for Towards Partial Monitoring: It is Always too Soon to Give Up
Viaarxiv icon

Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy

Add code
Jul 22, 2020
Viaarxiv icon

Heterogeneous Verification of an Autonomous Curiosity Rover

Add code
Jul 20, 2020
Figure 1 for Heterogeneous Verification of an Autonomous Curiosity Rover
Figure 2 for Heterogeneous Verification of an Autonomous Curiosity Rover
Viaarxiv icon

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management

Add code
Aug 22, 2019
Figure 1 for Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
Figure 2 for Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
Figure 3 for Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
Figure 4 for Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
Viaarxiv icon