Sfoglia per Autore Calinescu, Radu Constantin
Mostrati risultati da 1 a 2 di 2
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties
2023-01-01 Menghi, Claudio; Tsigkanos, Christos; Askarpour, Mehrnoosh; Pelliccione, Patrizio; Vázquez, Gricel; Calinescu, Radu; García, Sergio
Mission specification and decomposition for multi-robot systems
2023-01-01 Gil, Eric Bernd; Rodrigues, Genaína Nunes; Pelliccione, Patrizio; Calinescu, Radu
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties | 1-gen-2023 | Menghi, Claudio; Tsigkanos, Christos; Askarpour, Mehrnoosh; Pelliccione, Patrizio; Vázquez, Gricel; Calinescu, Radu; García, Sergio | |
Mission specification and decomposition for multi-robot systems | 1-gen-2023 | Gil, Eric Bernd; Rodrigues, Genaína Nunes; Pelliccione, Patrizio; Calinescu, Radu |
Mostrati risultati da 1 a 2 di 2
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile