Reference : PuRSUE -from specification of robotic environments to synthesis of controllers
Scientific journals : Article
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/44704
PuRSUE -from specification of robotic environments to synthesis of controllers
English
Bersani, Marcello M. [Politecnico di Milano]
Soldo, Matteo [Politecnico di Milano]
Menghi, Claudio mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV >]
Pelliccione, Patrizio [Chalmers | University of Gothenburg, University of L’Aquila]
Rossi, Matteo [Politecnico di Milano]
23-Mar-2020
Formal Aspects of Computing
Springer
Yes
[en] Robotics ; software engineering ; controller synthesis ; formal methods
Researchers ; Professionals
http://hdl.handle.net/10993/44704
10.1007/s00165-020-00509-0
H2020 ; 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
FAOC2020.pdfPublisher postprint1.19 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.