Claudio Menghi

Visar 8 publikationer

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 i 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 i 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 i 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 i proceeding
2018

Keeping intelligence under control

Piergiuseppe Mallozzi, Patrizio Pelliccione, Claudio Menghi
Proceedings of the 1st International Workshop on Software Engineering for Cognitive Services, p. 37-40
Paper i 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 i 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, p. 169-188
Paper i 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 i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Det finns inga projekt att visa.
Det kan finnas fler projekt där Claudio Menghi medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.