Merkliste 
 1 Ergebnisse 
 
1

MDPs with energy-parity objectives:

, In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science,