Picture for André Platzer

André Platzer

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI

Add code
Jun 17, 2024
Viaarxiv icon

Provably Safe Neural Network Controllers via Differential Dynamic Logic

Add code
Feb 16, 2024
Viaarxiv icon

Learning to Find Proofs and Theorems by Learning to Refine Search Strategies

Add code
May 27, 2022
Figure 1 for Learning to Find Proofs and Theorems by Learning to Refine Search Strategies
Figure 2 for Learning to Find Proofs and Theorems by Learning to Refine Search Strategies
Figure 3 for Learning to Find Proofs and Theorems by Learning to Refine Search Strategies
Figure 4 for Learning to Find Proofs and Theorems by Learning to Refine Search Strategies
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