1. Towards the verification of safety-critical autonomous systems in dynamic environments;Aniculaesei;Electronic Proceedings in Theoretical Computer Science, EPTCS,2016
2. AUTOSHIP – AUtonomous shipping initiative for European waters,2020
3. DOA tracking for seamless connectivity in beamformed IoT-based drones;Balamurugan;Computer Standards & Interfaces,2021
4. A method for protocol-based collision avoidance between autonomous marine surface crafts;Benjamin;Journal of Field Robotics,2006
5. Review of health prognostics and condition monitoring of electronic components;Bhargava;IEEE Access,2020