RoboWorld: Verification of Robotic Systems with Environment in the Loop. - James Baxter 001; Gustavo Carvalho; Ana Cavalcanti 001; Francisco Rodrigues Júnior (Formal Aspects Comput., 2023)