Showing 1 - 2 results of 2 for search 'Yannakakis, M', query time: 0.02s
Refine Results
-
1
Searching a fixed graph by Koutsoupias, E, Papadimitriou, C, Yannakakis, M
Published 2015Conference item -
2
MULTI-OBJECTIVE MODEL CHECKING OF MARKOV DECISION PROCESSES by Etessami, K, Kwiatkowska, M, Vardi, M, Yannakakis, M
Published 2008Journal article