In a recent interview for Scientific Computing World, Ana Cavalcanti discusses the work of RoboStar, including the challenges for developing robotic software and the techniques we use for verification.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
