Hongfei Fu

Available identifiers

zbMath Open fu.hongfei.1MaRDI QIDQ6166144

List of research outcomes

Publication	Date of Publication	Type
Automated tail bound analysis for probabilistic recurrence relations	2024-02-01	Paper
New approaches for almost-sure termination of probabilistic programs	2023-08-02	Paper
Affine Loop Invariant Generation via Matrix Algebra	2022-12-07	Paper
Computational Approaches for Stochastic Shortest Path on Succinct MDPs	2018-04-24	Paper
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs	2016-10-24	Paper
Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems	2012-08-31	Paper
Decidability of Behavioral Equivalences in Process Calculi with Name Scoping	2012-06-29	Paper

Research outcomes over time

This page was built for person: Hongfei Fu