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), CAVALCANTI, A. (Co-investigator), HABLI, I. (Co-investigator), THIRUVALLORE THATTAI, A. (Co-investigator), THOMAS, A. (Co-investigator) & Wilson, J. (Co-investigator)
EPSRC
1/11/20 → 31/10/24
Project: Research project (funded) › Research