RiskStructures: A Design Algebra for Risk-Aware Machines

Mario Gleirscher^*, Radu Calinescu, Jim Woodcock

^*Corresponding author for this work

Computer Science

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

1 results

Active

UKRI Trustworthy Autonomous Systems Node in Resilience
Calinescu, R., Arvind, T., Cavalcanti, A. L. C., Habli, I., Thomas, A. P. & Wilson, J. C.
EPSRC
1/11/20 → 31/10/24
Project: Research project (funded) › Research