Andreas Fellner
Identifiers
No identifiers captured yet.
Papers (2)
- Mutation Testing with Hyperproperties cs.LO · 2019 · author #1
- Counterexample Explanation by Learning Small Strategies in Markov Decision Processes cs.LO · 2015 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- Georg Weissenbacher 1 shared papers
- Jan K\v{r}et\'insk\'y 1 shared papers
- Krishnendu Chatterjee 1 shared papers
- Martin Chmel\'ik 1 shared papers
- Mitra Tabaei Befrouei 1 shared papers
- Tom\'a\v{s} Br\'azdil 1 shared papers