Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/978-3-319-02444-8_2 | ATVA |
Field | DocType | Citations |
Automated technique,Model checking,Computer science,Markov decision process,Theoretical computer science,DNP3,Temporal logic,Probabilistic logic,Probabilistic model checking | Conference | 23 |
PageRank | References | Authors |
0.97 | 34 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Marta Z. Kwiatkowska | 1 | 6118 | 322.21 |
| David Parker | 2 | 4018 | 184.00 |