Skip to main content

1 Result(s)

within Alvaro Miyazawa Remove this filter Computational Intelligence Remove this filter

and

  1. No Access

    Chapter

    From Formalised State Machines to Implementations of Robotic Controllers

    for robotic can using state . However, these are typically developed in an ad hoc manner without formal semantics, which makes it difficult to analyse the controller. Simulations are often used during...

    Wei Li, Alvaro Miyazawa, Pedro Ribeiro… in Distributed Autonomous Robotic Systems (2018)