Travelled to:1 × Austria
1 × USA
Collaborated with:J.Boudou B.W.Paleo T.Brázdil K.Chatterjee M.Chmelik J.Kretínský
Talks about:counterexampl (1) strategi (1) compress (1) skeptik (1) process (1) system (1) markov (1) explan (1) small (1) proof (1)
Person: Andreas Fellner
DBLP: Fellner:Andreas
Contributed to:
2015
2014Wrote 2 papers:
- CAV-2015-BrazdilCCFK #learning #markov #process
- Counterexample Explanation by Learning Small Strategies in Markov Decision Processes (TB, KC, MC, AF, JK), pp. 158–177.
- IJCAR-2014-BoudouFP #named #proving
- Skeptik: A Proof Compression System (JB, AF, BWP), pp. 374–380.