arrow
Back
C

Colin Paterson

university of york - uk

13H-index
49Paper Count
702Citation Count
Published Papers 7
Publication Date
Safety assurance of Machine Learning for autonomous systems
err2025-06-14
err0
PREAI
errColin Paterson; Richard Hawkins; Chiara Picardi; Yan Jia; Radu Calinescu; Ibrahim Habli
errShare
errSave
Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents☆
err2025-02-01
err0
errOAAI
errYaman, Sinem Getir; Ribeiro, Pedro; Cavalcanti, Ana; Calinescu, Radu; Paterson, Colin; Townsend, Beverley
errShare
errSave
Aloft: Self-Adaptive Drone Controller Testbed
err2024-06-07
err0
errOAAI
errImrie, Calum; Howard, Rhys; Thuremella, Divya; Proma, Nawshin Mannan; Pandey, Tejas; Lewinska, Paulina; Cannizzaro, Ricardo; Hawkins, Richard; Paterson, Colin; Kunze, Lars; Hodge, Victoria J.
errShare
errSave
Quantitative verification with adaptive uncertainty reduction
err2022-06-01
err5
errOAAI
errAlasmari, Naif; Calinescu, Radu; Paterson, Colin; Mirandola, Raffaela
errShare
errSave
Efficient Parametric Model Checking Using Domain Knowledge
err2021-06-01
err9
errOAAI
errCalinescu, Radu; Paterson, Colin; Johnson, Kenneth
errShare
errSave
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges
err2021-05-25
err106
errOAAI
errAshmore, Rob; Calinescu, Radu; Paterson, Colin
errShare
errSave