Exogenous probabilistic computation tree logic (2007)

by P Baltazar, P Mateus, R Nagarajan, N Papanikolaou
Venue:Electronic Notes in Theoretical Computer Science