( en | de | ru )

 

Disambiguation of "Zeng, Zhenbing"

Author of the publication

copydeleteadd this publication to your clipboard
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers.

, , , , , and . AAAI, page 15278-15286. AAAI Press, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhenbing Zeng

Zhenbing Chen

Jian Zeng

Jin Zeng

Aiqun Zeng

 

Other publications of authors with the same name

Automatic Generation of Mathematical Expressions of Printed Chinese Characters., , and . Computational Intelligence, page 404-408. IASTED/ACTA Press, (2005)Labelling algorithms for paired-domination problems in block and interval graphs., , and . J. Comb. Optim., 19 (4): 457-470 (2010)Vertices in all minimum paired-dominating sets of block graphs., , and . J. Comb. Optim., 24 (3): 176-191 (2012)Constructing a Tetrahedron with Prescribed Heights and Widths., and . Automated Deduction in Geometry, volume 4869 of Lecture Notes in Computer Science, page 203-211. Springer, (2006)A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry., , and . CADE, volume 1249 of Lecture Notes in Computer Science, page 73-86. Springer, (1997)Differential elimination with Dixon resultants., , and . Appl. Math. Comput., 218 (21): 10679-10690 (2012)Local critical analysis of inequalities related to the sum of distances between n points on the unit hemisphere for n=4,5., , , , and . Ann. Math. Artif. Intell., 91 (6): 865-898 (December 2023)Analyzing ultimate positivity for solvable systems., , , and . Theor. Comput. Sci., (2016)Distance paired-domination problems on subclasses of chordal graphs., , and . Theor. Comput. Sci., 410 (47-49): 5072-5081 (2009)Hardness results and approximation algorithms for (weighted) paired-domination in graphs., , and . Theor. Comput. Sci., 410 (47-49): 5063-5071 (2009)