A Model Counter's Guide to Probabilistic Systems.

Marcell Vazquez-Chanlatte Markus N. Rabe Sanjit A. Seshia

Published in: CoRR (2019)

Keyphrases

probabilistic model
high level
mathematical model
management system
real time
decision making
similarity measure
objective function
distributed systems
probabilistic interpretation