BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Fellner:Andreas

Contributed to:

CAV 20152015
IJCAR 20142014

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.