Lijun Zhang : Publications
-
[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
-
[2]
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
-
[3]
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