Reactive Probabilistic Programming

Guillaume Baudart, Louis Mandel, Eric Atkinson +3

Synchronous modeling is at the heart of programming languages like Lustre, Esterel, or Scade used routinely for implementing safety critical control software, e.g., fly-by-wire and…