Robotics and Integrated Formal Methods: Necessity Meets Opportunity.

Marie Farrell, Matt Luckcuck, Michael Fisher

Browse the full IFM paper archive.