James Baxter

About

James Baxter is a leading researcher at the intersection of formal methods and robotics engineering. His work focuses on developing rigorous, model-based techniques to ensure the safety and reliability of robotic systems, addressing the critical gap between simulation, testing, and mathematical proof. Baxter’s major contributions are embodied in the RoboStar technology, a comprehensive toolbox that unifies proof, simulation, and testing for roboticists. His highly cited papers, including "RoboStar Technology" (28 citations) and "Automating Verification of State Machines with Reactive Designs and Isabelle/UTP" (27 citations), have established foundational approaches for verifying robotic behaviour. Notably, his RoboWorld framework tackles the complex challenge of modelling the robot’s environment—a crucial step for realistic verification—while his RoboSim language provides a standardised, diagrammatic way to model robotic platforms. With over 85 total citations and a growing body of work from 2018 to 2025, Baxter is shaping how engineers can formally guarantee that robots operate correctly, even in unpredictable surroundings.

Research Focus

Key Achievements

Top Papers

1. 1
   RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing

   28 citations · 2020
2. 2
   Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

   27 citations · 2018
3. 3
   Testing Robots Using CSP

   16 citations · 2019
4. 4
   RoboWorld: Where Can My Robot Work?

   7 citations · 2021
5. 5
   RoboWorld: Verification of Robotic Systems with Environment in the Loop

   7 citations · 2023
6. 6
   Diagrammatic physical robot models

   2 citations · 2025
7. 7
   Model-Based Engineering for Robotics with RoboChart and RoboTool

   2 citations · 2023

Key Collaborators

Contact & Links