( en | de | ru )

 

Disambiguation of "Parker, David"

Author of the publication

copydeleteadd this publication to your clipboard
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions.

, , , , , , and . CoRR, (2023)

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

Jane Parker

 

Other publications of authors with the same name

Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach., , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 52-66. Springer, (2002)Stochastic Model Checking., , and . SFM, volume 4486 of Lecture Notes in Computer Science, page 220-270. Springer, (2007)Quantitative Analysis of Fragrance and Odorants Released from Fresh and Decaying Strawberries., , , and . Sensors, 13 (6): 7939-7978 (2013)Learning Algorithms for Verification of Markov Decision Processes., , , , , , , , and . CoRR, (2024)Optimal Online Dispatch for High-Capacity Shared Autonomous Mobility-on-Demand Systems., , and . ICRA, page 779-785. IEEE, (2021)Optimal signal recovery from interleaved FMRI data., , and . ISBI, page 1372-1375. IEEE, (2015)Retrospective detection of interleaved slice acquisition parameters from fMRI data., , , and . ISBI, page 37-40. IEEE, (2014)Advances and challenges of probabilistic model checking., , and . Allerton, page 1691-1698. IEEE, (2010)Stochastic Games for Verification of Probabilistic Timed Automata., , and . FORMATS, volume 5813 of Lecture Notes in Computer Science, page 212-227. Springer, (2009)Automated Verification of Concurrent Stochastic Games., , , and . QEST, volume 11024 of Lecture Notes in Computer Science, page 223-239. Springer, (2018)