Paper Info
Title
Formal Methods for Robotics: RoboChart, RoboSim, and More.
Abstract
A report from 2014 indicates that “The UK Government has identified ‘eight great technologies’ which will propel the UK to future growth”; one of them is robotics and autonomous systems. Currently, robotics is at the heart of the UK economic plans (www.tinyurl.com/mtut23s). A 13 billion pounds global market is predicted for 2025 (www.tinyurl.com/nyf64av). A limiting factor, however, is safety. The UK Technology Strategy Board reports that we are sitting on a “robotics goldmine” (www.tinyurl.com/o2u2ts7), but “Regulation and certification will also be a vital part of RAS deployment...”.
Year
DOI
Venue
2017
10.1007/978-3-319-70848-5_1
Lecture Notes in Computer Science
Field
DocType
Volume
Software deployment,Programming language,Engineering management,Computer science,Technology strategy,Autonomous system (Internet),Artificial intelligence,Formal methods,Certification,Robotics,Government
Conference
10623
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
8
1
Name
Order
Citations
PageRank
Ana Cavalcanti122418.41