PuRSUE -from specification of robotic environments to synthesis of controllers

Bersani, Marcello M.; Soldo, Matteo; MENGHI, Claudio; Pelliccione, Patrizio; Rossi, Matteo

doi:10.1007/s00165-020-00509-0

Download

Article (Scientific journals)

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

Permalink
https://hdl.handle.net/10993/44704

DOI
10.1007/s00165-020-00509-0

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

FAOC2020.pdf

Publisher postprint (1.21 MB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

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

Available on ORBilu :

since 14 November 2020

Statistics

Number of views

130 (6 by Unilu)

Number of downloads

109 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

OpenAlex citations

WoS citations^™