Resilient Integration of AI Perception into Trustworthy Autonomous Systems

Calinescu, RADU CONSTANTIN (Principal investigator)

Computer Science

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	1/10/21 → 31/03/22

Funding

EPSRC: £30,500.00

Fast Parametric Model Checking with Applications to Software Performability Analysis
Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 1 Oct 2023, In: IEEE Transactions on Software Engineering . 49, p. 4707-4730 14 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Towards Planning and Adaptation of Assistive-care Robot Tasks
Hamilton, J., Stefanakos, I., Calinescu, R. & Camara, J., 28 Sept 2022, Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE). p. 175-183 9 p. (Electronic proceedings in theoretical computer science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File