Items where authors include "Garcia, Sergio"

Article

Menghi, Claudio, Tsigkanos, Christos, Askarpour, Mehrnoosh et al. (4 more authors) (2024) Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. IEEE Transactions on Software Engineering. pp. 2741-2760. ISSN 0098-5589