Formal Methods in Robotics

653 views
Download
  • Share
#ieee #ras #iros 2014 #chicago #illinois #George J. Pappas #Methods #Robotics

Keynote Speaker: George J. Pappas Conference: IROS 2014 Location: Chicago, Illinois, USA Date: 15 September 2014 Title: Formal Methods in Robotics

Formal Methods in Robotics

Advertisment

Advertisment