Picture for Doron Peled

Doron Peled

Bar Ilan University

A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle

Add code
Feb 14, 2024
Figure 1 for A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle
Figure 2 for A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle
Figure 3 for A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle
Figure 4 for A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle
Viaarxiv icon

Synthesis of Parametric Programs using Genetic Programming and Model Checking

Add code
Feb 27, 2014
Figure 1 for Synthesis of Parametric Programs using Genetic Programming and Model Checking
Figure 2 for Synthesis of Parametric Programs using Genetic Programming and Model Checking
Figure 3 for Synthesis of Parametric Programs using Genetic Programming and Model Checking
Figure 4 for Synthesis of Parametric Programs using Genetic Programming and Model Checking
Viaarxiv icon