TY  - RPRT
TI  - Hamilton-Jacobi formulation for reach-avoid differential games
AU  - Kostas Margellos
AU  - John Lygeros
PY  - 2009
UR  - https://arxiv.org/abs/0911.4625
ID  - 0911.4625
ER  -