@article(cora,
 author       = {Matthias Althoff and John M. Dolan},
 year         = {2014},
 title        = {Online verification of automated road vehicles using reachability analysis},
 journal      = {IEEE Transaction on Robotics},
 volume       = {30},
 number       = {4},
 pages        = {903--918},
 doi          = {10.1109/TRO.2014.2312453},
)
@misc(benchmarksite,
 title        = {Benchmarks of continuous and hybrid systems},
 url          = {http://ths.rwth-aachen.de/research/projects/hypro/benchmarks-of-continuous-and-hybrid-systems/},
)
@inproceedings(bournez1999orthogonal,
 author       = {Olivier Bournez and Oded Maler and Amir Pnueli},
 year         = {1999},
 title        = {Orthogonal polyhedra: {R}epresentation and computation},
 booktitle    = {Proc. HSCC'99},
 series       = {LNCS},
 volume       = {1569},
 organization = {Springer},
 pages        = {46--60},
 doi          = {10.1007/3-540-48983-5_8},
)
@inproceedings(flowstar,
 author       = {Xin Chen and Erika {\'A}brah{\'a}m and Sriram Sankaranarayanan},
 year         = {2013},
 title        = {Flow*: {A}n analyzer for non-linear hybrid systems},
 booktitle    = {Proc. CAV'13},
 series       = {LNCS},
 volume       = {8044},
 publisher    = {Springer},
 pages        = {258--263},
 doi          = {10.1007/978-3-642-39799-8_18},
)
@inproceedings(chen:decomposed,
 author       = {Xin Chen and Sriram Sankaranarayanan},
 year         = {2016},
 title        = {Decomposed reachability analysis for nonlinear systems},
 booktitle    = {Proc. RTSS'16},
 publisher    = {{IEEE Computer Society Press}},
 pages        = {13--24},
 doi          = {10.1109/RTSS.2016.011},
)
@inproceedings(smtrat,
 author       = {Florian Corzilius and Gereon Kremer and Sebastian Junges and Stefan Schupp and Erika {\'A}brah{\'a}m},
 year         = {2015},
 title        = {{SMT-RAT:} {A}n open source {C}++ toolbox for strategic and parallel {SMT} solving},
 booktitle    = {Proc. SAT'15},
 series       = {LNCS},
 volume       = {9340},
 publisher    = {Springer},
 pages        = {360--368},
 doi          = {10.1007/978-3-319-24318-4_26},
)
@inproceedings(spaceex,
 author       = {Goran Frehse and Colas Le Guernic and Alexandre Donz{\'e} and Rajarshi Ray and Olivier Lebeltel and Rodolfo Ripado and Antoine Girard and Thao Dang and Oded Maler},
 year         = {2011},
 title        = {{SpaceEx}: {S}calable verification of hybrid systems},
 booktitle    = {Proc. CAV'11},
 series       = {LNCS},
 volume       = {6806},
 publisher    = {Springer},
 pages        = {379--395},
 doi          = {10.1007/978-3-642-22110-1_30},
)
@inproceedings(Girard05,
 author       = {Antoine Girard},
 year         = {2005},
 title        = {Reachability of uncertain linear systems using zonotopes},
 booktitle    = {Proc. HSCC'05},
 series       = {LNCS},
 volume       = {3414},
 publisher    = {Springer},
 pages        = {291--305},
 doi          = {10.1007/978-3-540-31954-2_19},
)
@inproceedings(soapbox,
 author       = {Willem Hagemann and Eike M{\"o}hlmann and Astrid Rakow},
 year         = {2014},
 title        = {Verifying a {PI} controller using {SoapBox} and {Stabhyli}: {E}xperiences on establishing properties for a steering controller},
 booktitle    = {Proc. ARCH'14},
 series       = {EPiC Series in Computer Science},
 volume       = {34},
 publisher    = {EasyChair},
 pages        = {115--125},
)
@inproceedings(henzinger:hybrid,
 author       = {Thomas A. Henzinger},
 year         = {1996},
 title        = {The theory of hybrid automata},
 booktitle    = {Proc.\ LICS'96},
 publisher    = {{IEEE Computer Society Press}},
 pages        = {278--292},
 doi          = {10.1007/978-3-642-59615-5_13},
)
@misc(hycreate,
 title        = {{HyCreate}},
 url          = {http://stanleybak.com/projects/hycreate/hycreate.html},
)
@misc(hyprosite,
 title        = {HyPro Project website},
 url          = {http://ths.rwth-aachen.de/research/projects/hypro/},
)
@misc(hyreachhome,
 title        = {\textsc{HyReach}\xspace},
 url          = {https://embedded.rwth-aachen.de/doku.php?id=en:tools:hyreach},
)
@article(LeGuernicG10,
 author       = {Le Guernic, Colas and Antoine Girard},
 year         = {2010},
 title        = {Reachability analysis of linear systems using support functions},
 journal      = {Nonlinear Analysis: Hybrid Systems},
 volume       = {4},
 number       = {2},
 pages        = {250--262},
 doi          = {10.1016/j.nahs.2009.03.002},
)
@misc(glpk,
 author       = {Andrew Makhorin},
 title        = {{GNU} {L}inear {P}rogramming {K}it home page},
 url          = {http://www.gnu.org/software/glpk/glpk.html},
)
@book(moore2009introduction,
 author       = {Ramon E. Moore and Ralph Baker Kearfott and Michael J. Cloud},
 year         = {2009},
 title        = {Introduction to interval analysis},
 publisher    = {SIAM},
 doi          = {10.1137/1.9780898717716},
)
@inproceedings(z3,
 author       = {Leonardo M. de Moura and Bj{\o}rner, Nikolaj},
 year         = {2008},
 title        = {{Z3}: {A}n efficient {SMT} solver},
 booktitle    = {Proc. TACAS'08},
 series       = {LNCS},
 volume       = {4963},
 publisher    = {Springer},
 pages        = {337--340},
 doi          = {10.1007/978-3-540-78800-3_24},
)
@phdthesis(phdNellen,
 author       = {Johanna Nellen},
 year         = {2016},
 title        = {{A}nalysis and synthesis of hybrid systems in engineering applications},
 school       = {RWTH Aachen University},
 address      = {Aachen},
 url          = {https://publications.rwth-aachen.de/record/680323},
)
@inproceedings(hypro,
 author       = {Stefan Schupp and Erika Abraham and Ben Makhlouf, Ibtissem and Stefan Kowalewski},
 year         = {2017},
 title        = {{HyPro}: {A} {C++} library for state set representations for hybrid systems reachability analysis},
 booktitle    = {Proc. NFM'17},
 series       = {LNCS},
 volume       = {10227},
 publisher    = {Springer},
 pages        = {288--294},
 doi          = {10.1007/978-3-319-57288-8_20},
)
@phdthesis(Wunderling1996,
 author       = {Roland Wunderling},
 year         = {1996},
 title        = {Paralleler und objektorientierter simplex-algorithmus},
 school       = {Technische Universit{\"a}t Berlin},
)
@book(ziegler1995lectures,
 author       = {G{\"u}nter M. Ziegler},
 year         = {1995},
 title        = {Lectures on polytopes},
 volume       = {152},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4613-8431-1},
)