Calinescu, Radu Constantin
Calinescu, Radu Constantin
Gran Sasso Science Institute - Scuola Universitaria Superiore
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
RoboMAX: Robotic Mission Adaptation eXemplars
2021-01-01 Askarpour, Mehrnoosh; Tsigkanos, Christos; Menghi, Claudio; Calinescu, Radu; Pelliccione, Patrizio; García, Sergio; Caldas, Ricardo; Von Oertzen, Tim J; Wimmer, Manuel; Berardinelli, Luca; Rossi, Matteo; Bersani, Marcello M.; Rodrigues, Gabriel S.
| 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 | |
| RoboMAX: Robotic Mission Adaptation eXemplars | 1-gen-2021 | Askarpour, Mehrnoosh; Tsigkanos, Christos; Menghi, Claudio; Calinescu, Radu; Pelliccione, Patrizio; García, Sergio; Caldas, Ricardo; Von Oertzen, Tim J; Wimmer, Manuel; Berardinelli, Luca; Rossi, Matteo; Bersani, Marcello M.; Rodrigues, Gabriel S. |