Calum Corrie Imrie

Search results

• 2024

  Bayesian Learning for the Robust Verification of Autonomous Robots

  Zhao, X., Gerasimou, S., Calinescu, R., Imrie, C. C., Robu, V. & Flynn, D., 27 Jan 2024, In: Communications Engineering. 3, 18.

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

  Open Access

  File

• 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