Probabilistic Logical Characterization

Information and Computation - Tập 209 - Trang 154-172 - 2011
Holger Hermanns1,2, Augusto Parma3, Roberto Segala3, Björn Wachter4, Lijun Zhang5
1Saarland University – Computer Science, Saarbrücken, Germany
2INRIA Grenoble Rhône-Alpes, France
3Departimento di Informatica, Università di Verona, Italy
4Computing Laboratory, University of Oxford, UK
5DTU Informatics, Technical University of Denmark, Denmark