@article(AKS07,
 author       = {R. Alami and K. M. Krishna and T. Sim{\'e}on},
 year         = {2007},
 title        = {Provably Safe Motions Strategies for Mobile Robots in Dynamic Domains},
 journal      = {Autonomous Navigation in Dynamic Environments},
 pages        = {85--106},
 doi          = {10.1007/978-3-540-73422-2\_4},
)
@inproceedings(BDL04,
 author       = {G. Behrmann and A. David and K. G. Larsen},
 year         = {2004},
 title        = {A Tutorial on Uppaal},
 editor       = {M. Bernardo and F. Corradini},
 booktitle    = {Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, {SFM-RT} 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures},
 series       = {LNCS},
 volume       = {3185},
 publisher    = {Springer},
 address      = {Bertinoro, Italy},
 pages        = {200--236},
 doi          = {10.1109/ITSC.2008.4732685},
)
@inproceedings(BFS12,
 author       = {S. Bouraine and T. Fraichard and H. Salhi},
 year         = {2012},
 title        = {Provably Safe Navigation for Mobile Robots with Limited Field-of-Views in Unknown Dynamic Environments},
 booktitle    = {IEEE International Conference on Robotics and Automation (ICRA 2012)},
 pages        = {174--179},
 doi          = {10.1109/ICRA.2012.6224932},
 url          = {https://hal.inria.fr-hal-00768527},
)
@inproceedings(CS13,
 author       = {D. Calegari and N. Szasz},
 year         = {2013},
 title        = {Verification of Model Transformations: A Survey of the State-of-the-Art},
 editor       = {Y. Donoso and R. Santos},
 booktitle    = {Proceedings of the \{XXXVIII\} Latin American Conference in Informatics (CLEI)},
 series       = {ENTCS},
 volume       = {292},
 pages        = {5--25},
 doi          = {10.1016/j.entcs.2013.02.002},
)
@inproceedings(KCD+15,
 author       = {A. Kane and O. Chowdhury and A. Datta and P. Koopman},
 year         = {2015},
 title        = {A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System},
 editor       = {E. Bartocci and R. Majumdar},
 booktitle    = {Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015, Proceedings},
 series       = {LNCS},
 volume       = {9333},
 publisher    = {Springer International Publishing},
 address      = {Vienna, Autria},
 pages        = {102--117},
 doi          = {10.1007/978-3-319-23820-3\_7},
)
@inproceedings(MVF+08,
 author       = {Ma{\v{c}}ek, K. and D. Vasquez and T. Fraichard and R. Siegwart},
 year         = {2008},
 title        = {Safe Vehicle Navigation in Dynamic Urban Scenarios},
 booktitle    = {11th International IEEE Conference on Intelligent Transportation Systems 2008 (ITSC 2008)},
 series       = {LNCS},
 volume       = {8734},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Beijing, China},
 pages        = {482--489},
 doi          = {10.1109/ITSC.2008.4732685},
)
@inproceedings(MGP13,
 author       = {S. Mitsch and K. Ghorbal and A. Platzer},
 year         = {2013},
 title        = {On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles},
 editor       = {P. Newman and D. Fox and D. Hsu},
 booktitle    = {Proceedings of Robotics: Science and Systems},
 series       = {IX},
 address      = {Berlin, Germany},
 doi          = {10.15607/RSS.2013.IX.014},
)
@inproceedings(MP14,
 author       = {S. Mitsch and A. Platzer},
 year         = {2014},
 title        = {ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models},
 editor       = {B. Bonakdarpour and S. A. Smolka},
 booktitle    = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings},
 series       = {LNCS},
 volume       = {8734},
 publisher    = {Springer},
 pages        = {199--214},
 doi          = {10.1007/978-3-319-11164-3\_17},
)
@inproceedings(PYR+15,
 author       = {D. Phan and J. Yang and D. Ratasich and R. Grosu and S. A. Smolka and S. D. Stoller},
 year         = {2015},
 title        = {Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment},
 editor       = {E. Bartocci and R. Majumdar},
 booktitle    = {Proceedings of the 6th International Conference on Runtime Verification (RV 2015)},
 series       = {LNCS},
 volume       = {9333},
 publisher    = {Springer International Publishing},
 address      = {Swizerland},
 pages        = {201--215},
 doi          = {10.1007/978-3-319-23820-3\_13},
)
@article(Pla08,
 author       = {A. Platzer},
 year         = {2001},
 title        = {Differential Dynamic Logic for Hybrid Systems},
 journal      = {Journal of Automated Reasoning},
 volume       = {41},
 number       = {2},
 pages        = {143--189},
 doi          = {10.1007/s10817-008-9103-8},
)
@techreport(RDW+96,
 author       = {J. Rivera and A. Danylyszyn and C. Weinstock and L. Sha and M. Gagliardi},
 year         = {1996},
 title        = {An Architectural Description of the Simplex Architecture},
 type         = {Technical Report},
 number       = {CMU/SEI-96-TR-006},
 institution  = {Software Engineering Institute, Carnegie Mellon University},
 address      = {Pittsburgh, PA},
 url          = {http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=12521},
)
@article(Sha01,
 author       = {A. A. Shalyto},
 year         = {2001},
 title        = {Logic Control and ``Reactive'' Systems: Algorithmization and Programming},
 journal      = {Automation and Remote Control},
 volume       = {62},
 number       = {1},
 pages        = {1--29},
 doi          = {10.1023/A:1002837232103},
)
@inproceedings(WBB+11,
 author       = {Wei{\ss}mann, M. and S. Bedenk and C. Buckl and A. Knoll},
 year         = {2011},
 title        = {Model Checking Industrial Robot Systems},
 editor       = {A. Groce and M. Musuvathi},
 booktitle    = {Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings},
 series       = {LNCS},
 volume       = {8734},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {161--176},
 doi          = {10.1007/978-3-642-22306-8\_11},
)