Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties.
Claudio MenghiChristos TsigkanosMehrnoosh AskarpourPatrizio PelliccioneGricel VázquezRadu CalinescuSergio GarcíaPublished in: IEEE Trans. Software Eng. (2023)