DOI,IST REx ID,Research Group,Title of publication
10.23638/LMCS-13(3:23)2017,465,"KrCh,ToHe",Edit distance for pushdown automata
10.23638/LMCS-13(2:15)2017,466,KrCh,Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.2168/LMCS-10(1:10)2014,2233,ToHe,Exact and approximate determinization of discounted-sum automata
10.2168/LMCS-10(1:13)2014,2234,KrCh,Markov decision processes with multiple long-run average objectives