Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings
Livia Lestingi;Cristian Sbrolli;Pasquale Scarmozzino;Giorgio Romeo;Marcello M. Bersani;Matteo Rossi
2022-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
sample-sigconf.pdf
Accesso riservato
Descrizione: Final_Version
:
Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione
2.34 MB
Formato
Adobe PDF
|
2.34 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.