Abstracting Noisy Robot Programs

T. Hoffman, Vaishak Belle

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Finished
UKRI Trustworthy Autonomous Systems Node in Governance and Regulation
Ramamoorthy, R., Belle, V., Bundy, A., Jackson, P., Lascarides, A. & Rajan, A.
EPSRC
1/11/20 → 30/04/24
Project: Research