UKRI Trustworthy Autonomous Systems Node in Resilience

Calinescu, Radu (Principal investigator)
Arvind, TT (Co-investigator)
Cavalcanti, Ana Lucia Caneca (Co-investigator)
Habli, Ibrahim (Co-investigator)
Thomas, Alan Price (Co-investigator)
Wilson, Julie C. (Co-investigator)

Project: Research project (funded) › Research

Status	Active
Effective start/end date	1/11/20 → 31/10/24

Funding

EPSRC: £1,351,889.58

13 Article
8 Conference contribution

Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components
Calinescu, R., Imrie, C. C., Mangal, R., Rodrigues, G., S.Păsăreanu, C., Alpizar Santana, M. & Vazquez Flores, G., 1 Jun 2024, In: IEEE Transactions on Software Engineering . 50, p. 1374-1395 22 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties
Menghi, C., Tsigkanos, C., Askarpour, M., Pelliccione, P., Vazquez, G., Calinescu, R. & Garcia, S., 1 Apr 2024, In: IEEE Transactions on Software Engineering . 49, 4, p. 2741-2760 20 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Predicting Nonfunctional Requirement Violations in Autonomous Systems
Fang, X., Getir Yaman, S., Calinescu, R., Wilson, J. C. & Paterson, C., 14 Feb 2024, In: ACM Transactions on Autonomous and Adaptive Systems. 19, 1, 25 p., 6.
Research output: Contribution to journal › Article › peer-review

Open Access
File

1 Workshop

AI-infused contracting and the problem of relationality: Is trustworthy AI possible?
TT Arvind (Invited speaker)
19 Jul 2021 → 23 Jul 2021
Activity: Talk or presentation › Workshop

File

Online material for Predicting Nonfunctional Requirement Violations in Autonomous Systems
Fang, X. (Creator), Getir Yaman, S. (Creator), Calinescu, R. (Creator), Wilson, J. C. (Creator) & Paterson, C. (Creator), GitHub, 2023
https://github.com/xinwei2124/TAAS
Dataset