Claudio Menghi - * ICSE 2018 *

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

Registered user since Mon 12 Mar 2018

Name: Claudio Menghi

Affiliation: University of Gothenburg, Sweden

Personal website: https://claudiomenghi.github.io/

Contributions

FormaliSE 2018	Session Chair of Formal Methods for Autonomous Systems 1 (part of FormaliSE 2018) Committee Member in Program Committee within the FormaliSE 2018-track
* ICSE 2018 *	Poster F53: Towards Multi-Robot Applications Planning Under Uncertainty Poster F51: Property Specification Patterns for Robotic Missions
Show activities from other conferences

* ICSE 2018 *-profile
View general profile