From Formalised State Machines to Implementations of Robotic Controllers

Wei Li*, Alvaro Miyazawa, Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock, Jon Timmis

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapter

7 Citations (Scopus)

Fingerprint

Dive into the research topics of 'From Formalised State Machines to Implementations of Robotic Controllers'. Together they form a unique fingerprint.

Computer Science