@misc{indiciae92ba716a59f2, title = {Density-Based Semantics for Reactive Probabilistic Programming}, author = {Guillaume Baudart and Louis Mandel and Christine Tasson}, year = {2023}, url = {https://arxiv.org/abs/2308.01676}, note = {Source identifier: 2308.01676} }