Synthesis from hyperproperties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup. Synthesis from hyperproperties. Acta Informatica, 57(1):137-163, 2020. [doi]

This author has not been identified. Look up 'Bernd Finkbeiner' in GoogleThis author has not been identified. Look up 'Christopher Hahn' in GoogleThis author has not been identified. Look up 'Philip Lukert' in GoogleThis author has not been identified. Look up 'Marvin Stenger' in GoogleThis author has not been identified. Look up 'Leander Tentrup' in Google

runs on WebDSL