Claudio Menghi

Showing 9 publications

2021

A survey on the design space of end-user-oriented languages for specifying robotic missions

Dragule Swaib, Thorsten Berger, Claudio Menghi et al
Software and Systems Modeling. Vol. 20 (4), p. 1123-1158
Journal article
2019

MAPmAKER: Performing multi-robot LTL planning under uncertainty

Sergio García Gonzalo, Claudio Menghi, Patrizio Pelliccione
Proceedings - 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering, RoSE 2019, p. 1-4
Paper in proceeding
2018

Poster: Towards multi-robot applications planning under uncertainty

Claudio Menghi, Sergio García Gonzalo, Patrizio Pelliccione et al
Proceedings - International Conference on Software Engineering. Vol. Part F137351, p. 438-439
Paper in proceeding
2018

Keeping intelligence under control

Piergiuseppe Mallozzi, Patrizio Pelliccione, Claudio Menghi
Proceedings - International Conference on Software Engineering, p. 37-40
Paper in proceeding
2018

Poster: Property specification patterns for robotic missions

Claudio Menghi, Christos Tsigkanos, Thorsten Berger et al
Proceedings - International Conference on Software Engineering. Vol. Part F137351, p. 434-435
Paper in proceeding
2018

Multi-robot LTL planning under uncertainty

Claudio Menghi, Sergio Garcia, Patrizio Pelliccione et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10951 LNCS, p. 399-417
Paper in proceeding
2018

Supporting verification-driven incremental distributed design of components

Claudio Menghi, P. Spoletini, Marsha Chechik et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10802 LNCS, p. 169-188
Paper in proceeding
2018

An Architecture for Decentralized, Collaborative, and Autonomous Robots

Sergio García Gonzalo, Claudio Menghi, Patrizio Pelliccione et al
Proceedings - 2018 IEEE 15th International Conference on Software Architecture, ICSA 2018, p. 75-84
Paper in proceeding
2017

From model checking to a temporal proof for partial models

Anna Bernasconi, Claudio Menghi, P. Spoletini et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10469 LNCS, p. 54-69
Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.
There might be more projects where Claudio Menghi participates, but you have to be logged in as a Chalmers employee to see them.