( en | de | ru )

 

Disambiguierung von "Badings, Thom S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions.

, , , , , , und . CoRR, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Erika Thom

Bodo Thom

Madlen Thom

Werner Thom

Harald Thom

 

Weitere Publikationen von Autoren mit dem selben Namen

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