39 citations · 59 across the 4 of their papers we have counts for
1 paper · 1 filter
Simon Foster, James Baxter, Ana Cavalcanti +2
State-machine based notations are ubiquitous in the description of component systems, particularly in the robotic domain. To ensure these systems are safe and predictable, formal v…