Journal article
PuRSUE -from specification of robotic environments to synthesis of controllers
Abstract
Developing robotic applications is a complex task, which requires skills that are usually only possessed by highly-qualified robotic developers. While formal methods that help developers in the creation and design of robotic applications exist, they must be explicitly customized to be impactful in the robotics domain and to support effectively the growth of the robotic market. Specifically, the robotic market is asking for techniques that: (i) …
Authors
Bersani MM; Soldo M; Menghi C; Pelliccione P; Rossi M
Journal
Formal Aspects of Computing, Vol. 32, No. 2-3, pp. 187–227
Publisher
Association for Computing Machinery (ACM)
Publication Date
July 2020
DOI
10.1007/s00165-020-00509-0
ISSN
0934-5043