Claudio Menghi, Christos Tsigkanos, Mehrnoosh Askarpour, Patrizio Pelliccione, Gricel Vázquez, Radu Calinescu, Sergio García 0002. Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. IEEE Trans. Software Eng., 49(4):2741-2760, April 2023. [doi]
Abstract is missing.