Autor der Publikation

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.

Keine Personen gefunden für den Autorennamen Haesaert, Sofie
Eine Person hinzufügen mit dem Namen Haesaert, Sofie
 

Weitere Publikationen von Autoren mit dem selben Namen

Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes., , und . CoRR, (2014)Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems., und . CoRR, (2018)Correct-by-design output feedback of LTI systems., , und . CDC, Seite 6159-6164. IEEE, (2015)Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement., , und . SIAM J. Control and Optimization, 55 (4): 2333-2367 (2017)Data-Efficient Bayesian Verification of Parametric Markov Chains., , , und . QEST, Volume 9826 von Lecture Notes in Computer Science, Seite 35-51. Springer, (2016)ARCH-COMP18 Category Report: Stochastic Modelling., , , , , , , , , und 1 andere Autor(en). ARCH@ADHS, Volume 54 von EPiC Series in Computing, Seite 71-103. EasyChair, (2018)Approximate and Reinforcement Learning techniques to solve non-convex Economic Dispatch problems., , , und . SSD, Seite 1-8. (2014)Data-driven and Model-based Verification: a Bayesian Identification Approach., , und . CoRR, (2015)Temporal logic control of general Markov decision processes by approximate policy refinement., , und . CoRR, (2017)Verification of general Markov decision processes by approximate similarity relations and policy refinement., , und . CoRR, (2016)