Lijun Zhang : Publications
Click here to download all publications in a single bibtex file
@article{InfoComLogical, title = "Probabilistic Logical Characterization", author = "Holger Hermanns and Augusto Parma and Roberto Segala and Björn Wachter and Lijun Zhang", year = "2011", journal = "Information and Computation", url = "portal.acm.org/citation.cfm?id=1924850", }
@inproceedings{WZ10, title = "Best Probabilistic Transformers", author = "Björn Wachter and Lijun Zhang", year = "2010", booktitle = "VMCAI", pages = "362-379", url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/papers/vmcai10.pdf", }
@inproceedings{Wachter08, title = "Probabilistic CEGAR", author = "Holger Hermanns and Björn Wachter and Lijun Zhang", year = "2008", booktitle = "CAV", editor = "Aarti Gupta and Sharad Malik", note = "Princeton, NJ, USA", pages = "162--175", publisher = "Springer Verlag", series = "LNCS", url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/papers/cav08.pdf", volume = "5123", }