A Aralex Aachen research explorer

June 01, 2020 conference-paper Open access

Controller Synthesis for Hyperproperties

Proceedings - Computer Security Foundations Workshop/Proceedings

DOI: 10.1109/csf49147.2020.00033 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 17

Parameter Synthesis for Probabilistic Hyperproperties
2020 EPiC series in computing conference-paper Computer Science Formal Methods in Verification Open access

9

citations

1 result

References 0