pith. sign in

Chuchu Fan

Identifiers

  • name variant Chuchu Fan 0.60 · backfill

Papers (14)

  1. Value Functions for Temporal Logic: Optimal Policies and Safety Filters cs.RO · 2026 · author #4
  2. Learning to Route Electric Trucks Under Operational Uncertainty eess.SY · 2026 · author #6
  3. Navigating the Clutter: Waypoint-Based Bi-Level Planning for Multi-Robot Systems cs.RO · 2026 · author #5
  4. On-Line Policy Iteration with Trajectory-Driven Policy Generation eess.SY · 2026 · author #4
  5. Bellman Value Decomposition for Task Logic in Safe Optimal Control cs.RO · 2026 · author #5
  6. Pragmatic Curiosity: A Unified Framework for Hybrid Learning and Optimization via Active Inference cs.LG · 2026 · author #4
  7. Partial Or Complete, That's The Question cs.LG · 2019 · author #3
  8. Exploiting Partially Annotated Data for Temporal Relation Extraction cs.CL · 2018 · author #3
  9. Verifying nonlinear analog and mixed-signal circuits with inputs cs.SY · 2018 · author #1
  10. Road to safe autonomy with data and formal reasoning cs.SY · 2017 · author #1
  11. DRYVR:Data-driven verification and compositional reasoning for automotive systems cs.SY · 2017 · author #1
  12. Approximate Partial Order Reduction cs.LO · 2016 · author #1
  13. Model Checking Tap Withdrawal in C. Elegans cs.LO · 2015 · author #3
  14. Bounded Verification with On-the-Fly Discrepancy Computation cs.SY · 2015 · author #1

Mentions

  • 1803.02975 #1 · arxiv_oai · confidence 0.70 Chuchu Fan
  • 1704.06406 #1 · arxiv_oai · confidence 0.70 Chuchu Fan
  • 1702.06902 #1 · arxiv_oai · confidence 0.70 Chuchu Fan
  • 1503.06480 #3 · arxiv_oai · confidence 0.70 Chuchu Fan
  • 1502.01801 #1 · arxiv_oai · confidence 0.70 Chuchu Fan
  • 1503.06480 #3 · backfill · confidence 0.70 Chuchu Fan
  • 1502.01801 #1 · backfill · confidence 0.70 Chuchu Fan

Frequent Coauthors