pith. sign in

Naijun Zhan

Identifiers

  • name variant Naijun Zhan 0.60 · backfill

Papers (20)

  1. ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification cs.SE · 2026 · author #6
  2. Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic cs.LO · 2026 · author #5
  3. QCP: A Practical Separation Logic-based C Program Verification Tool cs.PL · 2025 · author #13
  4. Inner-Approximating Reachable Sets for Polynomial Systems with Time-Varying Uncertainties math.OC · 2018 · author #3
  5. Parameter Synthesis Problems for one parametric clock Timed Automata cs.FL · 2018 · author #5
  6. Robust Non-termination Analysis of Numerical Software math.OC · 2018 · author #2
  7. Synthesizing SystemC Code from Delay Hybrid CSP cs.LO · 2017 · author #4
  8. Finding polynomial loop invariants for probabilistic programs cs.LO · 2017 · author #4
  9. Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus cs.LO · 2017 · author #3
  10. Approximate Bisimulation and Discretization of Hybrid CSP cs.LO · 2016 · author #5
  11. Interpolation synthesis for quadratic polynomial inequalities and combination with EUF cs.LO · 2016 · author #4
  12. A Theorem Prover for Quantum Hoare Logic and Its Applications cs.LO · 2016 · author #5
  13. Extending Hybrid CSP with Probability and Stochasticity cs.LO · 2015 · author #3
  14. Abstraction of Elementary Hybrid Systems by Variable Transformation cs.SY · 2014 · author #2
  15. Barrier Certificates Revisited cs.SY · 2013 · author #4
  16. Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation cs.SY · 2013 · author #2
  17. Generating Non-Linear Interpolants by Semidefinite Programming cs.LO · 2013 · author #3
  18. A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example cs.SY · 2012 · author #2
  19. Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems math.DS · 2011 · author #2
  20. Computing Semi-algebraic Invariants for Polynomial Dynamical Systems cs.SC · 2011 · author #2

Mentions

  • 1403.7022 #2 · arxiv_oai · confidence 0.70 Naijun Zhan
  • 1310.6481 #4 · arxiv_oai · confidence 0.70 Naijun Zhan
  • 1304.0825 #2 · arxiv_oai · confidence 0.70 Naijun Zhan
  • 1203.6025 #2 · arxiv_oai · confidence 0.70 Naijun Zhan
  • 1103.3372 #2 · arxiv_oai · confidence 0.70 Naijun Zhan
  • 1403.7022 #2 · backfill · confidence 0.70 Naijun Zhan
  • 1310.6481 #4 · backfill · confidence 0.70 Naijun Zhan
  • 1304.0825 #2 · backfill · confidence 0.70 Naijun Zhan
  • 1302.4739 #3 · backfill · confidence 0.70 Naijun Zhan
  • 1203.6025 #2 · backfill · confidence 0.70 Naijun Zhan
  • 1103.3372 #2 · backfill · confidence 0.70 Naijun Zhan
  • 1102.0705 #2 · backfill · confidence 0.70 Naijun Zhan

Frequent Coauthors