( en | de | ru )

 

Disambiguation of "Parker, David"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Markov Decision Processes Using Learning Algorithms.

, , , , , , , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 98-114. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David Parker

Thomas Parker

Darren Parker

June Parker

Jan Parker

 

Other publications of authors with the same name

Correlated Equilibria and Fairness in Concurrent Stochastic Games., , , and . TACAS (2), volume 13244 of Lecture Notes in Computer Science, page 60-78. Springer, (2022)PRISM: A Tool for Automatic Verification of Probabilistic Systems., , , and . TACAS, volume 3920 of Lecture Notes in Computer Science, page 441-444. Springer, (2006)Modeling the Variability of System Safety Analysis Using State-Machine Diagrams., , , , , , , and . IMBSA, volume 13525 of Lecture Notes in Computer Science, page 43-59. Springer, (2022)Technology transfer to China: a study of strategy in 20 EU industrial companies., , , , and . Int. J. Technol. Manag., 21 (1/2): 151-182 (2001)Symbolic Representations and Analysis of Large Probabilistic Systems., and . Validation of Stochastic Systems, volume 2925 of Lecture Notes in Computer Science, page 296-338. Springer, (2004)Finite-Horizon Bisimulation Minimisation for Probabilistic Systems., , and . SPIN, volume 9641 of Lecture Notes in Computer Science, page 147-164. Springer, (2016)A Systematic Approach to Evaluate Sustained Stochastic Oscillations., , , and . BICoB, page 134-139. ISCA, (2011)Performance analysis of probabilistic timed automata using digital clocks., , , and . Formal Methods Syst. Des., 29 (1): 33-78 (2006)Automated Verification and Strategy Synthesis for Probabilistic Systems., and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 5-22. Springer, (2013)A Framework for Verification of Software with Time and Probabilities., , and . FORMATS, volume 6246 of Lecture Notes in Computer Science, page 25-45. Springer, (2010)