Article

ConDR: Conservative Reachability Analysis with Neural Hamilton-Jacobi Subsolutions

ConDR proposes a method for learning subsolutions of the Hamilton-Jacobi-Isaacs variational inequality, so that the learned unsafe set contains the true unsafe set, thereby reducing cases where unsafe states are misclassified as safe.

This page provides a summary and source link only.