Publications

Publications for Hongfei Fu

2019
DOIDownloadLink
[bibtex]
Mingzhang Huang, Hongfei Fu, Joost-Pieter Katoen. Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems. Information and Computation 268, 2019.
Show all