Lina Gerlach (RWTH Aachen University

Identifiers

No identifiers captured yet.

Papers (1)

1. Tractable Hyperproperties for MDPs cs.LO · 2026 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Aachen 1 shared papers
• Borzoo Bonakdarpour (Michigan State University 1 shared papers
• East Lansing 1 shared papers
• Erika \'Abrah\'am (RWTH Aachen University 1 shared papers
• Germany) 1 shared papers
• MI 1 shared papers
• Nijmegen 1 shared papers
• Sebastian Junges (Radboud University 1 shared papers
• the Netherlands) 1 shared papers
• Tobias Winkler (RWTH Aachen University 1 shared papers
• USA) 1 shared papers