DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-63387-9_6,628,KrCh,Automated recurrence analysis for almost linear expected runtime bounds
10.1007/978-3-319-63387-9_10,645,KrCh,Value iteration for long run average reward in markov decision processes