1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Wei Li, Alvaro Miyazawa, Pedro Ribeiro +3
Controllers for autonomous robotic systems can be specified using state machines. However, these are typically developed in an ad hoc manner without formal semantics, which makes i…