Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties

Claudio Menghi, Christos Tsigkanos, Mehrnoosh Askarpour, Patrizio Pelliccione, Gricel Vazquez, Radu Calinescu, Sergio Garcia

Computer Science

Research output: Contribution to journal › Article › peer-review

1 results

Finished

UKRI Trustworthy Autonomous Systems Node in Resilience
Calinescu, R. (Principal investigator), Arvind, T. (Co-investigator), Cavalcanti, A. L. C. (Co-investigator), Habli, I. (Co-investigator), Thomas, A. P. (Co-investigator) & Wilson, J. C. (Co-investigator)
EPSRC
1/11/20 → 31/10/24
Project: Research project (funded) › Research