@ARTICLE{DBLP:journals/sttt/JeanninGKSGMP17,
pdf = {pub/acasx-zones-long.pdf},
ref = {DBLP:conf/tacas/JeanninGKGSZP15},
refname = {TACAS'15},
study = {https://www.ls.cs.cmu.edu/pub/AcasX-long.zip},
author = {Jean{-}Baptiste Jeannin and
Khalil Ghorbal and
Yanni Kouskoulas and
Aurora Schmidt and
Ryan Gardner and
Stefan Mitsch and
Andr{\'e} Platzer},
title = {A Formally Verified Hybrid System for Safe Advisories in the
Next-generation Airborne Collision Avoidance System},
journal = {STTT},
longjournal = {International Journal on Software Tools for Technology Transfer},
year = {2017},
volume = {19},
number = {6},
pages = {717-741},
doi = {10.1007/s10009-016-0434-1},
}```