Retour
  1. Accueil
  3. Référence détaillée
Télécharger
Article (Périodiques scientifiques)
PuRSUE -from specification of robotic environments to synthesis of controllers
Bersani, Marcello M.; Soldo, Matteo; MENGHI, Claudio et al.
2020 • In Formal Aspects of Computing
Peer reviewed
Permalien
https://hdl.handle.net/10993/44704
DOI
10.1007/s00165-020-00509-0
 

Documents (1)Envoyer versDétailsStatistiquesBibliographiePublications similaires

Documents

Texte intégral
FAOC2020.pdf
Postprint Éditeur (1.21 MB)
Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers


Détails


Mots-clés :
Robotics; software engineering; controller synthesis; formal methods
Disciplines :
Sciences informatiques
Auteur, co-auteur :
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
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
PuRSUE -from specification of robotic environments to synthesis of controllers
Date de publication/diffusion :
23 mars 2020
Titre du périodique :
Formal Aspects of Computing
Maison d'édition :
Springer
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
Projet européen :
H2020 - 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems
Organisme subsidiant :
CE - Commission Européenne
Disponible sur ORBilu :
depuis le 14 novembre 2020

Statistiques

Nombre de vues
179 (dont 6 Unilu)
Nombre de téléchargements
124 (dont 0 Unilu)
Voir plus de statistiques
citations Scopus®
 
18
citations Scopus®
sans auto-citations
12
OpenCitations
 
8
citations OpenAlex
 
20
citations WoS™
 
13

Bibliographie

Publications similaires


Contacter ORBilu