Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems

[1]  Joongseon Joh,et al.  A Fuzzy Logic for Autonomous Navigation of Marine Vehicles Satisfying COLREG Guidelines , 2004 .

[2]  Matti Kutila,et al.  Automotive LiDAR performance verification in fog and rain , 2018, 2018 21st International Conference on Intelligent Transportation Systems (ITSC).

[3]  John J. Leonard,et al.  Navigation of unmanned marine vehicles in accordance with the rules of the road , 2006, Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006..

[4]  Kim G. Larsen,et al.  Uppaal Stratego , 2015, TACAS.

[5]  Florian Holzapfel,et al.  Adaptive Trajectory Controller for Generic Fixed-Wing Unmanned Aircraft , 2013 .

[6]  Liang Hu,et al.  MAXCMAS project: Autonomous COLREGs compliant ship navigation , 2017 .

[7]  Ralph-Johan Back,et al.  Refinement Calculus: A Systematic Introduction , 1998 .

[9]  Kai Wei Ong,et al.  Obstacle detection, avoidance and anti collision for MEREDITH AUV , 2009, OCEANS 2009.

[10]  Kazuhiko Hasegawa,et al.  Fuzzy Reasoned Waypoint Controller for Automatic Ship Guidance , 2016 .

[11]  Lokukaluge P. Perera,et al.  Autonomous guidance and navigation based on the COLREGs rules and regulations of collision avoidance. , 2010 .

[12]  Richard S. Sutton,et al.  Reinforcement Learning: An Introduction , 1998, IEEE Trans. Neural Networks.

[13]  Colin F. Snook,et al.  Refinement of Statemachines Using Event B Semantics , 2007, B.

[14]  Kim G. Larsen,et al.  Safe and Time-Optimal Control for Railway Games , 2019, RSSRail.

[15]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[16]  Shmuel Katz,et al.  A superimposition control construct for distributed systems , 1993, TOPL.

[17]  Erik-Jan Van Kampen,et al.  Cooperative Autonomous Collision Avoidance System for Unmanned Aerial Vehicle , 2013 .

[18]  Davide Basile,et al.  Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System , 2019, RSSRail.

[19]  Kim G. Larsen,et al.  Safe and Optimal Adaptive Cruise Control , 2015, Correct System Design.

[20]  Sauli Ahvenjärvi,et al.  The Human Element and Autonomous Ships , 2016 .

[21]  Marko Höyhtyä,et al.  Connectivity for autonomous ships: Architecture, use cases, and research challenges , 2017, 2017 International Conference on Information and Communication Technology Convergence (ICTC).

[22]  Axel Legay,et al.  Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego , 2020, FORTE.