( en | de | ru )

 

Disambiguation of "Badings, Thom S."

Author of the publication

copydeleteadd this publication to your clipboard
Scenario-based verification of uncertain parametric MDPs.

, , , , , and . Int. J. Softw. Tools Technol. Transf., 24 (5): 803-819 (2022)

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.

Madlen Thom

Bodo Thom

Harald Thom

Werner Thom

Erika Thom

 

Other publications of authors with the same name

Sampling-Based Verification of CTMCs with Uncertain Rates., , , , and . CAV (2), volume 13372 of Lecture Notes in Computer Science, page 26-47. Springer, (2022)Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty., , , and . CoRR, (2021)Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty., , , and . AAAI, page 14701-14710. AAAI Press, (2023)Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions., , , and . FMAS@iFM, volume 395 of EPTCS, page 144-152. (2023)Buildings-to-Grid Integration with High Wind Power Penetration., , and . CDC, page 2976-2981. IEEE, (2019)Efficient Sensitivity Analysis for Parametric Robust Markov Chains., , , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 62-85. Springer, (2023)Scenario-based verification of uncertain parametric MDPs., , , , , and . Int. J. Softw. Tools Technol. Transf., 24 (5): 803-819 (2022)Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids., , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 1-18. Springer, (2021)Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics., , , and . QEST, volume 14287 of Lecture Notes in Computer Science, page 10-29. Springer, (2023)Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise., , , , , and . AAAI, page 9669-9678. AAAI Press, (2022)