Picture for Rafael C. Cardoso

Rafael C. Cardoso

University of Aberdeen

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

Towards Compositional Verification for Modular Robotic Systems

Add code
Dec 03, 2020
Figure 1 for Towards Compositional Verification for Modular Robotic Systems
Figure 2 for Towards Compositional Verification for Modular Robotic Systems
Figure 3 for Towards Compositional Verification for Modular Robotic Systems
Viaarxiv icon

Adaptable and Verifiable BDI Reasoning

Add code
Jul 23, 2020
Figure 1 for Adaptable and Verifiable BDI Reasoning
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

Modular Verification of Autonomous Space Robotics

Add code
Aug 28, 2019
Figure 1 for Modular Verification of Autonomous Space Robotics
Figure 2 for Modular Verification of Autonomous Space Robotics
Viaarxiv icon