PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Haesaert, Sofie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Data-driven and Model-based Verification: a Bayesian Identification Approach.

, , und . CoRR, (2015)

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

Robust Dynamic Programming for Temporal Logic Control of Stochastic Systems., und . CoRR, (2018)Sampling-based Approximations with Quantitative Performance for the Probabilistic Reach-Avoid Problem over General Markov Processes., , und . CoRR, (2014)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)Data-driven and Model-based Verification: a Bayesian Identification Approach., , und . CoRR, (2015)Verification of general Markov decision processes by approximate similarity relations and policy refinement., , und . CoRR, (2016)Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams., , , , , , , und . Robotics: Science and Systems, (2018)Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations., , , , , , und . ADHS, Volume 51 von IFAC-PapersOnLine, Seite 271-276. Elsevier, (2018)