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

Filter

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