Picture for Patrizio Pelliccione

Patrizio Pelliccione

Runtime Verification and Field Testing for ROS-Based Robotic Systems

Add code
Apr 17, 2024
Viaarxiv icon

Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)

Add code
Dec 15, 2023
Figure 1 for Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)
Viaarxiv icon

Software Reconfiguration in Robotics

Add code
Oct 02, 2023
Viaarxiv icon

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts

Add code
Jun 13, 2023
Figure 1 for Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Figure 2 for Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Figure 3 for Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Figure 4 for Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Viaarxiv icon

A Compositional Approach to Creating Architecture Frameworks with an Application to Distributed AI Systems

Add code
Dec 27, 2022
Viaarxiv icon

A Driver-Vehicle Model for ADS Scenario-based Testing

Add code
May 05, 2022
Figure 1 for A Driver-Vehicle Model for ADS Scenario-based Testing
Figure 2 for A Driver-Vehicle Model for ADS Scenario-based Testing
Figure 3 for A Driver-Vehicle Model for ADS Scenario-based Testing
Figure 4 for A Driver-Vehicle Model for ADS Scenario-based Testing
Viaarxiv icon

Future Intelligent Autonomous Robots, Ethical by Design. Learning from Autonomous Cars Ethics

Add code
Jul 16, 2021
Figure 1 for Future Intelligent Autonomous Robots, Ethical by Design. Learning from Autonomous Cars Ethics
Figure 2 for Future Intelligent Autonomous Robots, Ethical by Design. Learning from Autonomous Cars Ethics
Viaarxiv icon

Robotics Software Engineering: A Perspective from the Service Robotics Domain

Add code
Jul 07, 2020
Figure 1 for Robotics Software Engineering: A Perspective from the Service Robotics Domain
Figure 2 for Robotics Software Engineering: A Perspective from the Service Robotics Domain
Figure 3 for Robotics Software Engineering: A Perspective from the Service Robotics Domain
Figure 4 for Robotics Software Engineering: A Perspective from the Service Robotics Domain
Viaarxiv icon

CAGFuzz: Coverage-Guided Adversarial Generative Fuzzing Testing of Deep Learning Systems

Add code
Nov 14, 2019
Figure 1 for CAGFuzz: Coverage-Guided Adversarial Generative Fuzzing Testing of Deep Learning Systems
Figure 2 for CAGFuzz: Coverage-Guided Adversarial Generative Fuzzing Testing of Deep Learning Systems
Figure 3 for CAGFuzz: Coverage-Guided Adversarial Generative Fuzzing Testing of Deep Learning Systems
Figure 4 for CAGFuzz: Coverage-Guided Adversarial Generative Fuzzing Testing of Deep Learning Systems
Viaarxiv icon

Specification Patterns for Robotic Missions

Add code
Jan 07, 2019
Figure 1 for Specification Patterns for Robotic Missions
Figure 2 for Specification Patterns for Robotic Missions
Figure 3 for Specification Patterns for Robotic Missions
Figure 4 for Specification Patterns for Robotic Missions
Viaarxiv icon