( en | de | ru )

 

Disambiguierung von "Stoelinga, Mariëlle"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise.

, , , , , und . AAAI, Seite 9669-9678. AAAI Press, (2022)

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.

Marielle Ziegler

Marielle Stock

Marielle Hering

Marielle Cremer

Marielle Hess

 

Weitere Publikationen von Autoren mit dem selben Namen

Model-Based Testing of Probabilistic Systems., und . FASE, Volume 9633 von Lecture Notes in Computer Science, Seite 251-268. Springer, (2016)Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications., , , und . DSD, Seite 271-275. IEEE Computer Society, (2015)A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications., , , und . CyPhy, Volume 10107 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2016)LOCKS: a property specification language for security goals., , und . SAC, Seite 1907-1915. ACM, (2018)Fuzzy quantitative attack tree analysis., , und . FASE, Volume 14573 von Lecture Notes in Computer Science, Seite 210-231. Springer, (2024)Formal Methods Meet Machine Learning (F3ML)., , , , , und . ISoLA (3), Volume 13703 von Lecture Notes in Computer Science, Seite 393-405. Springer, (2022)Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics., , und . SAFECOMP, Volume 14988 von Lecture Notes in Computer Science, Seite 218-232. Springer, (2024)Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees., , , und . CoRR, (2018)Linear Parametric Model Checking of Timed Automata., , , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 189-203. Springer, (2001)Model-based testing of probabilistic systems., und . Formal Aspects Comput., 30 (1): 77-106 (2018)