Sign in

Verifying the long-run behavior of probabilistic system models in the presence of uncertainty.

Yamilet R. Serrano LlerenaMarcel BöhmeMarc BrüninkGuoxin SuDavid S. Rosenblum
Published in: ESEC/SIGSOFT FSE (2018)
Keyphrases
  • long run
  • short run
  • probabilistic model
  • uncertain data
  • graphical models
  • infinite horizon
  • long term
  • special case
  • optimal policy
  • short term
  • expected cost