Picture for Hadrien Bride

Hadrien Bride

Silas: High Performance, Explainable and Verifiable Machine Learning

Add code
Oct 03, 2019
Figure 1 for Silas: High Performance, Explainable and Verifiable Machine Learning
Figure 2 for Silas: High Performance, Explainable and Verifiable Machine Learning
Figure 3 for Silas: High Performance, Explainable and Verifiable Machine Learning
Figure 4 for Silas: High Performance, Explainable and Verifiable Machine Learning
Viaarxiv icon

GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems

Add code
Oct 03, 2019
Figure 1 for GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems
Figure 2 for GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems
Figure 3 for GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems
Figure 4 for GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems
Viaarxiv icon