Publications by authors named "Marvin Stenger"

Claim this Profile
S
Synthesis from hyperproperties.
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup

Acta Inform· December 2019

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
M
Monitoring hyperproperties.
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup

Form Methods Syst Des· June 2019

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis