17 citations · 81 across the 44 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015
On Termination of Polynomial Programs with Equality Conditions
Yangjia Li, Naijun Zhan, Mingshuai Chen +3
We investigate the termination problem of a family of multi-path polynomial programs (MPPs), in which all assignments to program variables are polynomials, and test conditions of l…
cs.LO2015
Extending Hybrid CSP with Probability and Stochasticity
Yu Peng, Shuling Wang, Naijun Zhan +1
Probabilistic and stochastic behavior are omnipresent in computer controlled systems, in particular, so-called safety-critical hybrid systems, because of fundamental properties of…