1. R. Alami, K. M. Krishna & T. Siméon (2007): Provably Safe Motions Strategies for Mobile Robots in Dynamic Domains. Autonomous Navigation in Dynamic Environments, pp. 85–106, doi:10.1007/978-3-540-73422-2_4.
  2. G. Behrmann, A. David & K. G. Larsen (2004): A Tutorial on Uppaal. In: M. Bernardo & F. Corradini: 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, LNCS 3185. Springer, Bertinoro, Italy, pp. 200–236, doi:10.1109/ITSC.2008.4732685.
  3. S. Bouraine, T. Fraichard & H. Salhi (2012): Provably Safe Navigation for Mobile Robots with Limited Field-of-Views in Unknown Dynamic Environments. In: IEEE International Conference on Robotics and Automation (ICRA 2012), pp. 174–179, doi:10.1109/ICRA.2012.6224932. Available at
  4. D. Calegari & N. Szasz (2013): Verification of Model Transformations: A Survey of the State-of-the-Art. In: Y. Donoso & R. Santos: Proceedings of the {XXXVIII} Latin American Conference in Informatics (CLEI), ENTCS 292, pp. 5–25, doi:10.1016/j.entcs.2013.02.002.
  5. A. Kane, O. Chowdhury, A. Datta & P. Koopman (2015): A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System. In: E. Bartocci & R. Majumdar: Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015, Proceedings, LNCS 9333. Springer International Publishing, Vienna, Autria, pp. 102–117, doi:10.1007/978-3-319-23820-3_7.
  6. K. Maček, D. Vasquez, T. Fraichard & R. Siegwart (2008): Safe Vehicle Navigation in Dynamic Urban Scenarios. In: 11th International IEEE Conference on Intelligent Transportation Systems 2008 (ITSC 2008), LNCS 8734. Springer Berlin Heidelberg, Beijing, China, pp. 482–489, doi:10.1109/ITSC.2008.4732685.
  7. S. Mitsch, K. Ghorbal & A. Platzer (2013): On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles. In: P. Newman, D. Fox & D. Hsu: Proceedings of Robotics: Science and Systems, IX, Berlin, Germany, doi:10.15607/RSS.2013.IX.014.
  8. S. Mitsch & A. Platzer (2014): ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models. In: B. Bonakdarpour & S. A. Smolka: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, LNCS 8734. Springer, pp. 199–214, doi:10.1007/978-3-319-11164-3_17.
  9. D. Phan, J. Yang, D. Ratasich, R. Grosu, S. A. Smolka & S. D. Stoller (2015): Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. In: E. Bartocci & R. Majumdar: Proceedings of the 6th International Conference on Runtime Verification (RV 2015), LNCS 9333. Springer International Publishing, Swizerland, pp. 201–215, doi:10.1007/978-3-319-23820-3_13.
  10. A. Platzer (2001): Differential Dynamic Logic for Hybrid Systems. Journal of Automated Reasoning 41(2), pp. 143–189, doi:10.1007/s10817-008-9103-8.
  11. J. Rivera, A. Danylyszyn, C. Weinstock, L. Sha & M. Gagliardi (1996): An Architectural Description of the Simplex Architecture. Technical Report CMU/SEI-96-TR-006. Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA. Available at
  12. A. A. Shalyto (2001): Logic Control and ``Reactive'' Systems: Algorithmization and Programming. Automation and Remote Control 62(1), pp. 1–29, doi:10.1023/A:1002837232103.
  13. M. Weißmann, S. Bedenk, C. Buckl & A. Knoll (2011): Model Checking Industrial Robot Systems. In: A. Groce & M. Musuvathi: Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings, LNCS 8734. Springer Berlin Heidelberg, pp. 161–176, doi:10.1007/978-3-642-22306-8_11.

Comments and questions to:
For website issues: