Calinescu, Radu Constantin
Calinescu, Radu Constantin
Gran Sasso Science Institute - Scuola Universitaria Superiore
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
Mission specification and decomposition for multi-robot systems
2023-01-01 Gil, Eric Bernd; Rodrigues, Genaína Nunes; Pelliccione, Patrizio; Calinescu, Radu
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Mission specification and decomposition for multi-robot systems | 1-gen-2023 | Gil, Eric Bernd; Rodrigues, Genaína Nunes; Pelliccione, Patrizio; Calinescu, Radu | |
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 |