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.
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.
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 https://hal.inria.fr-hal-00768527.
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.
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.
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.
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.
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.
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.
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.
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 http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=12521.
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.
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.