RoboWorld: Verification of Robotic Systems with Environment in the Loop

RT @yevelynzhai: Newly published on Formal Aspects of Computing: RoboWorld: Verification of Robotic Systems with Environment in the Loop pr…

Newly published on Formal Aspects of Computing: RoboWorld: Verification of Robotic Systems with Environment in the Loop presents a domain-specific CNL w/ a process algebraic semantics used to define operational requirements & env. interactions of a rob

RT @ACMDL: Check out a newly accepted article from Formal Aspects of Computing (FAC), "RoboWorld: verification of robotic systems with envi…

Check out a newly accepted article from Formal Aspects of Computing (FAC), "RoboWorld: verification of robotic systems with environment in the loop" by James Baxter, Gustavo Carvalho, Ana Cavalcanti, et al. https://t.co/BviQHCdRvJ @bcs #robotics #semantic