( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids.

, , , и . NFM, том 12673 из Lecture Notes in Computer Science, стр. 1-18. Springer, (2021)

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.

Erika Thom

Madlen Thom

Bodo Thom

Werner Thom

Harald Thom

 

Другие публикации лиц с тем же именем

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