Picture for Stefan Mitsch

Stefan Mitsch

Carnegie Mellon University

Provably Safe Neural Network Controllers via Differential Dynamic Logic

Add code
Feb 16, 2024
Viaarxiv icon

Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems

Add code
Jun 22, 2020
Figure 1 for Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems
Figure 2 for Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems
Figure 3 for Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems
Figure 4 for Fanoos: Multi-Resolution, Multi-Strength, Interactive Explanations for Learned Systems
Viaarxiv icon

Blackbox End-to-End Verification of Ground Robot Safety and Liveness

Add code
Mar 12, 2019
Figure 1 for Blackbox End-to-End Verification of Ground Robot Safety and Liveness
Figure 2 for Blackbox End-to-End Verification of Ground Robot Safety and Liveness
Figure 3 for Blackbox End-to-End Verification of Ground Robot Safety and Liveness
Figure 4 for Blackbox End-to-End Verification of Ground Robot Safety and Liveness
Viaarxiv icon

Formal Verification of Obstacle Avoidance and Navigation of Ground Robots

Add code
May 02, 2016
Figure 1 for Formal Verification of Obstacle Avoidance and Navigation of Ground Robots
Figure 2 for Formal Verification of Obstacle Avoidance and Navigation of Ground Robots
Figure 3 for Formal Verification of Obstacle Avoidance and Navigation of Ground Robots
Figure 4 for Formal Verification of Obstacle Avoidance and Navigation of Ground Robots
Viaarxiv icon