Not finding it? Sign in to also search OpenAlex live.
-
Exact Inference for Continuous-Time Gaussian Process Dynamics2024 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Gaussian Processes and Bayesian Inference Open access
Katharina Ensinger, Nicholas Tagliapietra, Sebastian Ziesche, Sebastian Trimpe
2citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations
4 results