Formal Verification of Ethical Choices in Industrial CPS.

Yinling Liu, Hind Bril El Haouzi

Browse the full SMC paper archive.