◍
wovepaper
Search
Researchers
Institutions
✦ Ask
Sign in
☰
output
2006
2024
most cited
Learning Algorithms for Verification of Markov Decision Processes
2 citations
researchers with a paper here
Changbao Wu
1 · h 34
David Parker
1 · h 2
Jan Křetínský
1 · h 30
J. Bell
1 · h 24
J. Rao
1 · h 56
Krishnendu Chatterjee
1 · h 5
K. Yeats
1 · h 16
Marta Z. Kwiatkowska
1 · h 2
Martin Chmelík
1 · h 13
Mateusz Ujma
1 · h 8
Maysum Panju
1 · h 8
Puying Zhao
1 · h 11
collaborating institutions
University of Waterloo
CA
2 papers
Google (Switzerland)
CH
1 paper
Institute of Science and Technology Austria
AT
1 paper
Leipzig University
DE
1 paper
Leipzig University of Applied Sciences
DE
1 paper
Masaryk University
CZ
1 paper
Simon Fraser University
CA
1 paper
University of Oxford
GB
1 paper
Showing 2009 ·
eess.SY
Show all
Nothing from here under that filter.
Their other years and fields are still on the left.
Show all their papers