R. Alami
K. M. Krishna
T. Siméon
2007
Provably Safe Motions Strategies for Mobile Robots in Dynamic Domains
Autonomous Navigation in Dynamic Environments
85–106
10.1007/978-3-540-73422-2_4
G. Behrmann
A. David
K. G. Larsen
2004
A Tutorial on Uppaal
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
200–236
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
IEEE International Conference on Robotics and Automation (ICRA 2012)
174–179
10.1109/ICRA.2012.6224932
https://hal.inria.fr-hal-00768527
D. Calegari
N. Szasz
2013
Verification of Model Transformations: A Survey of the State-of-the-Art
Y. Donoso
R. Santos
Proceedings of the {XXXVIII} Latin American Conference in Informatics (CLEI)
ENTCS
292
5–25
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
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
102–117
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
11th International IEEE Conference on Intelligent Transportation Systems 2008 (ITSC 2008)
LNCS
8734
Springer Berlin Heidelberg
Beijing, China
482–489
10.1109/ITSC.2008.4732685
S. Mitsch
K. Ghorbal
A. Platzer
2013
On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles
P. Newman
D. Fox
D. Hsu
Proceedings of Robotics: Science and Systems
IX
Berlin, Germany
10.15607/RSS.2013.IX.014
S. Mitsch
A. Platzer
2014
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models
B. Bonakdarpour
S. A. Smolka
Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
LNCS
8734
Springer
199–214
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
E. Bartocci
R. Majumdar
Proceedings of the 6th International Conference on Runtime Verification (RV 2015)
LNCS
9333
Springer International Publishing
Swizerland
201–215
10.1007/978-3-319-23820-3_13
A. Platzer
2001
Differential Dynamic Logic for Hybrid Systems
Journal of Automated Reasoning
41
2
143–189
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
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
1–29
10.1023/A:1002837232103
M. Weißmann
S. Bedenk
C. Buckl
A. Knoll
2011
Model Checking Industrial Robot Systems
A. Groce
M. Musuvathi
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
LNCS
8734
Springer Berlin Heidelberg
161–176
10.1007/978-3-642-22306-8_11