Author of the publication

Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference.

, , and . QEST, volume 11024 of Lecture Notes in Computer Science, page 289-305. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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