Synthesizing Reactive Systems from Hyperproperties

Finkbeiner, Bernd and Hahn, Christopher and Lukert, Philip and Stenger, Marvin and Tentrup, Leander
(2018) Synthesizing Reactive Systems from Hyperproperties.
In: Computer Aided Verification.
Conference: CAV - Computer Aided Verification

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item