Enhancing Autonomy in VTOL Aircraft Based on Symbolic Computation Algorithms. - James A. Douthwaite; Lyudmila S. Mihaylova; Sandor M. Veres (TAROS, 2016)

An interval approach to multiple unmanned aerial vehicle collision avoidance. - James A. Douthwaite; Allan De Freitas; Lyudmila S. Mihaylova (SDF, 2017)

Velocity Obstacle Approaches for Multi-Agent Collision Avoidance. - James A. Douthwaite; Shiyu Zhao; Lyudmila S. Mihaylova (Unmanned Syst., 2019)

A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. - James A. Douthwaite; Benjamin Lesage; Mario Gleirscher; Radu Calinescu; Jonathan M. Aitken; Rob Alexander; James Law (Frontiers Robotics AI, 2021)

ROSIE: A ROS Adapter for a Modular Digital Twinning Framework. - Gianmarco Pisanelli; Mariusz Tymczuk; James A. Douthwaite; Jonathan M. Aitken; James Law (RO-MAN, 2022)

Safety Controller Synthesis for a Mobile Manufacturing Cobot. - Ioannis Stefanakos; Radu Calinescu; James A. Douthwaite; Jonathan M. Aitken; James Law (SEFM, 2022)

Verified synthesis of optimal safety controllers for human-robot collaboration. - Mario Gleirscher; Radu Calinescu; James A. Douthwaite; Benjamin Lesage; Colin Paterson; Jonathan M. Aitken; Rob Alexander; James Law (Sci. Comput. Program., 2022)

A Comparative Study of Safety Zone Visualisations for Virtual and Physical Robot Arms Using Augmented Reality. - Yunus Emre Cogurcu; James A. Douthwaite; Steve Maddock (Comput., 2023)

Digital-twin-based testing for cyber-physical systems: A systematic literature review. - Richard J. Somers; James A. Douthwaite; David J. Wagg; Neil Walkinshaw; Robert M. Hierons (Inf. Softw. Technol., 2023)