@inproceedings(Ben99,
 author       = {Fr{\'e}d{\'e}ric Benhamou and Fr{\'e}d{\'e}ric Goualard and Laurent Granvilliers and Jean-Fran\c{c}ois Puget},
 year         = {1999},
 title        = {Revising Hull and Box Consistency},
 booktitle    = {Proceedings of the 1999 International Conference on Logic Programming},
 publisher    = {Massachusetts Institute of Technology},
 address      = {Cambridge, MA, USA},
 pages        = {230--244},
 url          = {http://dl.acm.org/citation.cfm?id=341176.341208},
)
@article(ChabertJaulin09,
 author       = {G.~Chabert and L.~Jaulin},
 year         = {2009},
 title        = {{Contractor Programming}},
 journal      = {Artificial Intelligence},
 volume       = {173},
 pages        = {1079--1100},
 doi          = {10.1016/j.artint.2009.03.002},
)
@article(colle_galerne13,
 author       = {E.~Colle and Galerne},
 year         = {2013},
 title        = {Mobile robot localization by multiangulation using set inversion},
 journal      = {Robotics and Autonomous Systems},
 volume       = {61},
 number       = {1},
 pages        = {39--48},
 doi          = {10.1016/j.robot.2012.09.006},
)
@article(Drevelle:Bonnifait:12,
 author       = {V.~Drevelle and P.~Bonnifait},
 year         = {2012},
 title        = {iGPS: Global Positioning in Urban Canyons with Road Surface Maps},
 journal      = {IEEE Intelligent Transportation Systems Magazine},
 volume       = {4},
 number       = {3},
 pages        = {6--18},
 doi          = {10.1109/MITS.2012.2203222},
)
@article(Hansen92,
 author       = {E.~R. Hansen},
 year         = {1992},
 title        = {Bounding the solution of interval linear equations},
 journal      = {SIAM Journal on Numerical Analysis},
 volume       = {29},
 number       = {5},
 pages        = {1493--1503},
 doi          = {10.1137/0729086},
)
@article(DesrochersEAAI2014,
 author       = {L.~Jaulin and B.~Desrochers},
 year         = {2014},
 title        = {Introduction to the Algebra of Separators with Application to Path Planning},
 journal      = {Engineering Applications of Artificial Intelligence},
 volume       = {33},
 pages        = {141--147},
 doi          = {10.1016/j.engappai.2014.04.010},
)
@book(JaulinBook01,
 author       = {L.~Jaulin and M.~Kieffer and O.~Didrit and E.~Walter},
 year         = {2001},
 title        = {Applied {I}nterval {A}nalysis, with {E}xamples in {P}arameter and {S}tate {E}stimation, {R}obust {C}ontrol and {R}obotics},
 publisher    = {Springer-Verlag},
 address      = {London},
 doi          = {10.1007/978-1-4471-0249-6},
)
@article(Jaulin02Robab,
 author       = {L.~Jaulin and M.~Kieffer and E.~Walter and D.~Meizel},
 year         = {2002},
 title        = {Guaranteed Robust Nonlinear Estimation with Application to Robot Localization},
 journal      = {IEEE Transactions on systems, man and cybernetics; Part C Applications and Reviews},
 volume       = {32},
 number       = {4},
 pages        = {374--382},
 doi          = {10.1109/TSMCC.2002.806747},
)
@article(JaulinCHI99,
 author       = {L.~Jaulin and E.~Walter and O.~L{\'e}v{\^e}que and D.~Meizel},
 year         = {2000},
 title        = {Set Inversion for Chi-Algorithms, with Application to Guaranteed Robot Localization},
 journal      = {Mathematics and Computers in Simulation},
 volume       = {52},
 number       = {3-4},
 pages        = {197--210},
 doi          = {10.1016/S0378-4754(00)00150-6},
)
@book(Kearfott96,
 editor       = {R.~B. Kearfott and V.~Kreinovich},
 year         = {1996},
 title        = {Applications of Interval Computations},
 publisher    = {Kluwer},
 address      = {Dordrecht, the Netherlands},
 doi          = {10.1007/978-1-4613-3440-8},
)
@inproceedings(KiefferMISC99,
 author       = {Michel Kieffer and Luc Jaulin and Eric Walter and Dominique Meizel},
 year         = {1999},
 title        = {{Guaranteed mobile robot tracking using interval analysis}},
 booktitle    = {{MISC'99, Workshop on Application of Interval Analysis to System and Control}},
 address      = {Girona, Spain},
 pages        = {347--360},
 url          = {https://hal.archives-ouvertes.fr/hal-00844601},
)
@inproceedings(Leveque97,
 author       = {Olivier Leveque and Luc Jaulin and Dominique Meizel and Eric Walter},
 year         = {1997},
 title        = {{Vehicle localization from inaccurate telemetric data: a set inversion approach}},
 booktitle    = {{5th IFAC Symposium on Robot Control SY.RO.CO.'97}},
 volume       = {1},
 address      = {Nantes, France},
 pages        = {179--186},
 url          = {https://hal.archives-ouvertes.fr/hal-00844041},
)
@article(meizel02,
 author       = {D.~Meizel and O.~L{\'e}v\^{e}que and L.~Jaulin and E.~Walter},
 year         = {2002},
 title        = {Initial Localization by Set Inversion},
 journal      = {IEEE transactions on robotics and Automation},
 volume       = {18},
 number       = {6},
 pages        = {966--971},
 doi          = {10.1109/TRA.2002.805664},
)
@book(Moore66,
 author       = {R.~E. Moore},
 year         = {1966},
 title        = {Interval Analysis},
 publisher    = {Prentice-Hall},
 address      = {Englewood Cliffs, NJ},
 doi          = {10.1126/science.158.3799.365},
)
@book(Najman2010,
 author       = {L.~Najman and H.~Talbot (Eds)},
 year         = {1000},
 title        = {Mathematical morphology: from theory to applications},
 publisher    = {ISTE-Wiley},
 doi          = {10.1002/9781118600788},
)
@inproceedings(Shoji91,
 author       = {Kenji Shoji},
 year         = {1991},
 title        = {Quadtree decomposition of binary structuring elements},
 booktitle    = {Nonlinear Image Processing II},
 publisher    = {Proc. SPIE 1451},
 doi          = {10.1117/12.44322},
)
@inproceedings(Sliwka:elpaso:11,
 author       = {J.~Sliwka and F.~Le Bars and O.~Reynet and L.~Jaulin},
 year         = {2011},
 title        = {Using interval methods in the context of robust localization of underwater robots},
 booktitle    = {NAFIPS 2011},
 address      = {El Paso, USA},
 doi          = {10.1109/NAFIPS.2011.5751922},
)
@inproceedings(taha:15:acumen,
 author       = {W.~Taha and A.~Duracz},
 year         = {2015},
 title        = {Acumen: An Open-source Testbed for Cyber-Physical Systems Research},
 booktitle    = {CYCLONE'15},
 doi          = {10.1007/978-3-319-47063-4\_11},
)