@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', 'Khalil Ghorbal', 'Yanni Kouskoulas', 'Aurora Schmidt', 'Ryan Gardner', 'Stefan Mitsch', 'André 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}
}