Not finding it? Sign in to also search OpenAlex live.
-
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)2026 arXiv (Cornell University) preprint 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 -
Repairability of Inexact Solvers in Recursive State Estimation with Machine Learning2026 arXiv (Cornell University) preprint Computer Science Target Tracking and Data Fusion in Sensor Networks Open access
Yanjun Ji, Dennis Willsch, Orkun Şensebat, Priyanka Arkalgud Ganeshamurthy, Zhi Pei, M. Sahnawaz Alam, +5 more
0citations
16 results