Login / Signup
Giorgio Romeo
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Coalitional Game Theory
Uncertain Environments
Multi Robot Cooperative
Map Building
Top Venues
FormaliSE@ICSE
</>
Publications
</>
Livia Lestingi
,
Cristian Sbrolli
,
Pasquale Scarmozzino
,
Giorgio Romeo
,
Marcello M. Bersani
,
Matteo Rossi
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings.
FormaliSE@ICSE
(2022)