Items where authors include "Nunes Rodrigues, Genaína"

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. FME Workshop on Formal Methods in Software Engineering . IEEE .