Fast Parametric Model Checking with Applications to Software Performability Analysis

Xinwei Fang, Radu Calinescu^*, Simos Gerasimou, Faisal Alhwikem

^*Corresponding author for this work

Computer Science

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

2 results

Filter

Finished

Resilient Integration of AI Perception into Trustworthy Autonomous Systems
Calinescu, R.
EPSRC
1/10/21 → 31/03/22
Project: Research project (funded) › Research
UKRI Trustworthy Autonomous Systems Node in Resilience
Calinescu, R., Arvind, T., Cavalcanti, A. L. C., Habli, I., Thomas, A. P. & Wilson, J. C.
EPSRC
1/11/20 → 31/10/24
Project: Research project (funded) › Research