( 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

Bodo Thom

Madlen Thom

Werner Thom

Harald Thom

 

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

Sampling-Based Verification of CTMCs with Uncertain Rates., , , , и . CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 26-47. Springer, (2022)Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty., , , и . CoRR, (2021)Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty., , , и . AAAI, стр. 14701-14710. AAAI Press, (2023)Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions., , , и . FMAS@iFM, том 395 из EPTCS, стр. 144-152. (2023)Efficient Sensitivity Analysis for Parametric Robust Markov Chains., , , , и . CAV (3), том 13966 из Lecture Notes in Computer Science, стр. 62-85. Springer, (2023)Buildings-to-Grid Integration with High Wind Power Penetration., , и . CDC, стр. 2976-2981. IEEE, (2019)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)Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics., , , и . QEST, том 14287 из Lecture Notes in Computer Science, стр. 10-29. Springer, (2023)Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise., , , , , и . AAAI, стр. 9669-9678. AAAI Press, (2022)