Strudel: A fast and accurate learner of structured-decomposable probabilistic circuits. (English) Zbl 07460572
MSC:
68T37
Found 4 Documents (Results 1–4)
Model checking finite-horizon Markov chains with probabilistic inference. (English) Zbl 1493.68210
Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 577-601 (2021).
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (1)
all
top 5
Author
- Van Den Broeck, Guy (4)
- Meert, Wannes (2)
- Dang, Meihua (1)
- Davis, Jesse (1)
- De Raedt, Luc (1)
- Holtzen, Steven (1)
- Junges, Sebastian (1)
- Millstein, Todd D. (1)
- Seshia, Sanjit Arunkumar (1)
- Van Haaren, Jan (1)
- Vazquez-Chanlatte, Marcell (1)
- Vergari, Antonio (1)
- Vlasselaer, Jonas (1)
Serial
- Artif. Intell. (1)
- Int. J. Approx. Reasoning (1)
- Mach. Learn. (1)
