Real-Time Probabilistic Programming

Lars Hummelgren, Matthias Becker, David Broman

Complex cyber-physical systems interact in real-time and must consider both timing and uncertainty. Developing software for such systems is expensive and difficult, especially when…