1 paper
Ali Fuat Sahin, Yunus Yazoglu, John Talbot +3
Hamilton-Jacobi reachability constructs safety certificates for specified dynamics and safety constraints, tying each certificate to the deployment context for which it is synthesi…