DMCA

Stochastic Bounded Model Checking: Bounded Rewards and Compositionality

by Bettina Braitling , Ralf Wimmer , Bernd Becker , Erika Ábrahám