G

Guy Van den Broeck

University of California, Los Angeles

ORCID: 0000-0003-3434-2503

282 papers and 3.6k citations.

PubIndex Score39Top 61% · seniorHow it's scored

282Publications

3.6kTotal Citations

First publication: 2009First senior author: 2011

Top publicationsby citations

Model Checking Finite-Horizon Markov Chains with Probabilistic Inference

Steven Holtzen, Guy Van den Broeck|Lecture notes in computer science|2021

Cited by 1

Indexing the rest of 282 publications…