Title | ||
---|---|---|
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-06880-0_2 | Horizons of the Mind |
Field | DocType | Citations |
Markov process,Uncountable set,Markov chain,Algorithm,Markov decision process,Theoretical computer science,Statistical model,Probabilistic logic,Probabilistic relevance model,Mathematics,Formal verification | Conference | 8 |
PageRank | References | Authors |
0.50 | 41 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alessandro Abate | 1 | 18 | 1.05 |
Marta Z. Kwiatkowska | 2 | 6118 | 322.21 |
Gethin Norman | 3 | 4163 | 193.68 |
David Parker 0001 | 4 | 19 | 2.09 |