Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components

Radu Calinescu, Calum Corrie Imrie, Ravi Mangal, Genaina Rodrigues, Corina S.Păsăreanu, Misael Alpizar Santana, Gricel Vazquez Flores

Computer Science

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

1 results

Finished

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