Lijun Zhang : Publications

Journal papers

• [1]

  Probabilistic Logical Characterization

  Holger Hermanns‚ Augusto Parma‚ Roberto Segala‚ Björn Wachter and Lijun Zhang

  In Information and Computation. 2011.

  Details about Probabilistic Logical Characterization | BibTeX data for Probabilistic Logical Characterization | Link to Probabilistic Logical Characterization

Conference papers

• [1]

  Best Probabilistic Transformers

  Björn Wachter and Lijun Zhang

  In VMCAI. Pages 362−379. 2010.

  Details about Best Probabilistic Transformers | BibTeX data for Best Probabilistic Transformers | Download (pdf) of Best Probabilistic Transformers

• [2]

  Probabilistic CEGAR

  Holger Hermanns‚ Björn Wachter and Lijun Zhang

  In Aarti Gupta and Sharad Malik, editors, CAV. Vol. 5123 of LNCS. Pages 162–175. Springer Verlag. 2008.

  Princeton‚ NJ‚ USA

  Details about Probabilistic CEGAR | BibTeX data for Probabilistic CEGAR | Download (pdf) of Probabilistic CEGAR