Autor der Publikation

U-Check: Model Checking and Parameter Synthesis Under Uncertainty.

, , und . QEST, Volume 9259 von Lecture Notes in Computer Science, Seite 89-104. Springer, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Scalable Bayesian Sampling Method Based on Stochastic Gradient Descent Isotropization., , , und . Entropy, 23 (11): 1426 (2021)Dirichlet-based Gaussian Processes for Large-scale Calibrated Classification., , , , und . NeurIPS, Seite 6008-6018. (2018)Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction., , und . CMSB, Volume 9308 von Lecture Notes in Computer Science, Seite 40-51. Springer, (2015)Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference., , und . QEST, Volume 11024 von Lecture Notes in Computer Science, Seite 289-305. Springer, (2018)Isotropic SGD: a Practical Approach to Bayesian Posterior Sampling., , , , und . CoRR, (2020)Sparse within Sparse Gaussian Processes using Neighbor Information., , , und . CoRR, (2020)A Data-Driven Approach to Dynamically Adjust Resource Allocation for Compute Clusters., , , , und . CoRR, (2018)Imposing Functional Priors on Bayesian Neural Networks., , und . ICPRAM, Seite 450-457. SCITEPRESS, (2023)Stochastic Modelling of the Kai-based Circadian Clock., , , , , , und . PASM/PDMC, Volume 296 von Electronic Notes in Theoretical Computer Science, Seite 43-60. Elsevier, (2012)Markov Chain Simulation with Fewer Random Samples., und . PASM/PDMC, Volume 296 von Electronic Notes in Theoretical Computer Science, Seite 183-197. Elsevier, (2012)