The following pages link to Ming Xu (Q480649):
Displaying 21 items.
- Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
- Measuring the constrained reachability in quantum Markov chains (Q824285) (← links)
- Multiphase until formulas over Markov reward models: an algebraic approach (Q896909) (← links)
- Analyzing ultimate positivity for solvable systems (Q897909) (← links)
- Symbolic termination analysis of solvable loops (Q1930157) (← links)
- Model checking conditional CSL for continuous-time Markov chains (Q1941693) (← links)
- Qsimulation V2.0: an optimized quantum simulator (Q2037955) (← links)
- An algebraic method to fidelity-based model checking over quantum Markov chains (Q2084946) (← links)
- Model checking QCTL plus on quantum Markov chains (Q2123051) (← links)
- Time-bounded termination analysis for probabilistic programs with delays (Q2216132) (← links)
- A conflict-driven solving procedure for poly-power constraints (Q2303230) (← links)
- Discovering non-terminating inputs for multi-path polynomial programs (Q2341594) (← links)
- Positive root isolation for poly-powers by exclusion and differentiation (Q2409014) (← links)
- Quantitative controller synthesis for consumption Markov decision processes (Q2680240) (← links)
- An optimal quantum error-correcting procedure using quantifier elimination (Q2690239) (← links)
- Some decidable results on reachability of solvable systems (Q2871582) (← links)
- Positive Root Isolation for Poly-Powers (Q2985844) (← links)
- TERMINATION ANALYSIS OF LINEAR LOOPS (Q3069740) (← links)
- (Q3075207) (← links)
- Real Root Isolation of Multi-Exponential Polynomials with Application (Q3404453) (← links)
- (Q6134257) (← links)
