Abstract | ||
---|---|---|
The origins of QEST in these diverse communities are reflected in the wide range of topics in the call and the great variety of the submitted and accepted papers. This, of course, makes the selection process challenging but also stimulating. The reviewing ... |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/QEST.2008.41 | QEST |
Keywords | Field | DocType |
markov decision processes,selection process,symbolic magnifying lens abstraction,diverse community,accepted paper,great variety,wide range,cost accounting,upper and lower bounds,probabilistic model,markov decision process,model checking,refinement,state space,data structures,probability,binary decision diagram,abstraction,markov processes,probabilistic logic,prism,upper bound,boolean functions | Discrete mathematics,Model checking,Markov process,Computer science,PRISM model checker,Binary decision diagram,Markov decision process,Algorithm,Theoretical computer science,Symbolic data analysis,Probabilistic logic,Symbolic trajectory evaluation | Conference |
Citations | PageRank | References |
4 | 0.41 | 16 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pritam Roy | 1 | 175 | 10.92 |
David Parker | 2 | 4018 | 184.00 |
Gethin Norman | 3 | 4163 | 193.68 |
Luca de Alfaro | 4 | 2693 | 176.95 |