Picture for Daniel Genin

Daniel Genin

Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns

Add code
May 10, 2022
Figure 1 for Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns
Figure 2 for Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns
Figure 3 for Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns
Figure 4 for Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns
Viaarxiv icon

Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples

Add code
Aug 03, 2020
Figure 1 for Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples
Figure 2 for Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples
Figure 3 for Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples
Viaarxiv icon

Adaptive Stress Testing: Finding Failure Events with Reinforcement Learning

Add code
Nov 06, 2018
Figure 1 for Adaptive Stress Testing: Finding Failure Events with Reinforcement Learning
Figure 2 for Adaptive Stress Testing: Finding Failure Events with Reinforcement Learning
Figure 3 for Adaptive Stress Testing: Finding Failure Events with Reinforcement Learning
Figure 4 for Adaptive Stress Testing: Finding Failure Events with Reinforcement Learning
Viaarxiv icon