( en | de | ru )

 

Disambiguation of "Badings, Thom S."

Author of the publication

copydeleteadd this publication to your clipboard
Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty.

, , , and . AAAI, page 14701-14710. AAAI Press, (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.

Erika Thom

Bodo Thom

Madlen Thom

Werner Thom

Harald 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)Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions., , , and . FMAS@iFM, volume 395 of EPTCS, page 144-152. (2023)Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty., , , and . AAAI, page 14701-14710. AAAI Press, (2023)Efficient Sensitivity Analysis for Parametric Robust Markov Chains., , , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 62-85. Springer, (2023)Buildings-to-Grid Integration with High Wind Power Penetration., , and . CDC, page 2976-2981. IEEE, (2019)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)Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions., , , , , , and . CoRR, (2023)