Our paper From Formalised State Machines to Automatic Implementations of Robotic Controllers has been accepted for the 13th International Symposium on Distributed Autonomous Robotic Systems (DARS 2016), which will take place from 6 to 9 November 2016 at the Natural History Museum in London, UK.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
