Items where authors include "Rodrigues, Genaina"

Article

Calinescu, Radu orcid.org/0000-0002-2678-9260, Imrie, Calum Corrie, Mangal, Ravi et al. (4 more authors) (2024) Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. IEEE Transactions on Software Engineering. ISSN 0098-5589 (In Press)

Proceedings Paper

Carwehl, Marc, Imrie, Calum Corrie, Vogel, Thomas et al. (3 more authors) (2024) Formal Synthesis of Uncertainty Reduction Controllers. In: 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2024). 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems, 15-16 Apr 2024. ACM , PRT .