Erika \'Abrah\'am (RWTH Aachen University
Identifiers
- name variant Erika \'Abrah\'am (RWTH Aachen University 0.60 · backfill
Papers (2)
- Tractable Hyperproperties for MDPs cs.LO · 2026 · author #7
- 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