David Broman

From MaRDI portal
(Redirected from Person:2233470)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Exact worst-case execution-time analysis for implicit model predictive control
IEEE Transactions on Automatic Control
2025-01-21Paper
Automatic alignment in higher-order probabilistic programming languages2023-11-24Paper
Sparse Partially Collapsed MCMC for Parallel Inference in Topic Models
Journal of Computational and Graphical Statistics
2022-03-28Paper
Correctness of sequential Monte Carlo inference for probabilistic programming languages
(available as arXiv preprint)
2021-10-18Paper
Requirements for hybrid cosimulation standards
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
2017-05-19Paper


Research outcomes over time


This page was built for person: David Broman