Resilient Integration of AI Perception into Trustworthy Autonomous Systems

Calinescu, Radu (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

1 Conference contribution
1 Article

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., 2022, (Accepted/In press) Fourth Workshop on Formal Methods for Autonomous Systems. 9 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File