Automatic synthesis of experiment designs from probabilistic environment specifications

Craig Innes, Yordan Hristov, George Kamaras, Subramanian Ramamoorthy

Research output: Contribution to conference › Paper › peer-review

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