All Stories

  1. RoboWorld: Verification of Robotic Systems with Environment in the Loop

    Article • Formal Aspects of Computing, September 2023, ACM (Association for Computing Machinery)

    Dr. Gustavo Carvalho