Real-reward testing for probabilistic pr
β
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
π
Article
π
2014
π
Elsevier Science
π
English
β 986 KB