Article (Scientific journals)
PuRSUE -from specification of robotic environments to synthesis of controllers
Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio et al.
2020In Formal Aspects of Computing
Peer reviewed
 

Files


Full Text
FAOC2020.pdf
Publisher postprint (1.21 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Robotics; software engineering; controller synthesis; formal methods
Disciplines :
Computer science
Author, co-author :
Bersani, Marcello M.;  Politecnico di Milano
Soldo, Matteo;  Politecnico di Milano
Menghi, Claudio ;  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
External co-authors :
yes
Language :
English
Title :
PuRSUE -from specification of robotic environments to synthesis of controllers
Publication date :
23 March 2020
Journal title :
Formal Aspects of Computing
Publisher :
Springer
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
European Projects :
H2020 - 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems
Funders :
CE - Commission Européenne [BE]
Available on ORBilu :
since 14 November 2020

Statistics


Number of views
122 (6 by Unilu)
Number of downloads
98 (0 by Unilu)

Scopus citations®
 
13
Scopus citations®
without self-citations
9
OpenCitations
 
8
WoS citations
 
9

Bibliography


Similar publications



Contact ORBilu