|
[MTA+22]
Claudio Menghi, Christos Tsigkanos, Mehrnoosh Askarpour, Patrizio Pelliccione, Gricel Vazquez, Radu Calinescu and Sergio Garcia.
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties.
Transactions on Software Engineering.
2022.
[Analyses mission specification formalisms for mobile robotics and describes a supporting integration with PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|