Lijun Zhang

Lijun Zhang

Research Assistant

Former Member

Themes:

• Automated Verification

Completed Projects:

• more…

See Also:

• Homepage

Selected Publications

View AllManage publications

• 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

• 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

• 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

Completed Projects

• Automated Verification of Probabilistic Programs