pith. sign in

Hongfei Fu

Identifiers

  • name variant Hongfei Fu 0.60 · backfill

Papers (15)

  1. Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities cs.LO · 2026 · author #2
  2. Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation cs.AI · 2026 · author #3
  3. High-order nonuniform time-stepping and MBP-preserving linear schemes for the time-fractional Allen-Cahn equation math.NA · 2025 · author #2
  4. Polynomial Invariant Generation for Floating-Point Programs cs.PL · 2025 · author #3
  5. Cost Analysis of Nondeterministic Probabilistic Programs cs.PL · 2019 · author #2
  6. New Approaches for Almost-Sure Termination of Probabilistic Programs cs.LO · 2018 · author #2
  7. Computational Approaches for Stochastic Shortest Path on Succinct MDPs cs.PL · 2018 · author #2
  8. Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties cs.FL · 2017 · author #1
  9. Non-polynomial Worst-Case Analysis of Recursive Programs cs.PL · 2017 · author #2
  10. Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds cs.PL · 2017 · author #2
  11. Termination of Nondeterministic Recursive Probabilistic Programs cs.PL · 2017 · author #2
  12. Termination Analysis of Probabilistic Programs through Positivstellensatz's cs.PL · 2016 · author #2
  13. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs cs.LO · 2015 · author #2
  14. Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes cs.SY · 2013 · author #1
  15. Approximating Acceptance Probabilities of CTMC-Paths on Multi-Clock Deterministic Timed Automata cs.SY · 2012 · author #1

Mentions

  • 1210.4787 #1 · backfill · confidence 0.70 Hongfei Fu

Frequent Coauthors