Items where authors include "Nunes Rodrigues, Genaína"
Jump to: Article | Proceedings Paper
Number of items: 2.
Article
Bernd Gil, Eric, Nunes Rodrigues, Genaína, Pelliccione, Patrizio et al. (1 more author) (2023) Mission specification and decomposition for multi-robot systems. Robotics and Autonomous Systems. 104386. ISSN 0921-8890
Proceedings Paper
Calinescu, Radu orcid.org/0000-0002-2678-9260 and Nunes Rodrigues, Genaína (2023) Goal Controller Synthesis for Self-Adaptive Systems. In: FormaliSE International Conference on Formal Methods in Software Engineering. UNSPECIFIED. IEEE . (In Press)