Erika \'Abrah\'am (RWTH Aachen University

Identifiers

• name variant Erika \'Abrah\'am (RWTH Aachen University 0.60 · backfill

Papers (2)

1. Tractable Hyperproperties for MDPs cs.LO · 2026 · author #7
2. High-level Counterexamples for Probabilistic Automata cs.SE · 2013 · author #5

Mentions

• 1305.5055 #5 · backfill · confidence 0.70 Erika \'Abrah\'am (RWTH Aachen University

Frequent Coauthors

• Germany) 2 shared papers
• Aachen 1 shared papers
• Borzoo Bonakdarpour (Michigan State University 1 shared papers
• East Lansing 1 shared papers
• Joost-Pieter Katoen (RWTH Aachen University 1 shared papers
• Lina Gerlach (RWTH Aachen University 1 shared papers
• MI 1 shared papers
• Nijmegen 1 shared papers
• Nils Jansen (RWTH Aachen University 1 shared papers
• Ralf Wimmer (University of Freiburg 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