Claudio Menghi

Publikationer (10)
Projekt (0)

Visar 10 publikationer

2024

Search-based Trace Diagnostic

Gabriel Araujo, Ricardo Diniz Caldas, Federico Formica et al

Preprint

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

Artikel i vetenskaplig tidskrift

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

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

Keeping intelligence under control

Piergiuseppe Mallozzi, Patrizio Pelliccione, Claudio Menghi

Proceedings - International Conference on Software Engineering, p. 37-40

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

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

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 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

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

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

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.