( en | de | ru )

 

Disambiguation of "Zhang, Xiaobin"

Author of the publication

copydeleteadd this publication to your clipboard
Counterexample-Guided Abstraction Refinement for POMDPs.

, , and . CoRR, (2017)

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.

Xiaobin Pang

Xiaobin Xu

Xiaobin Cao

Xiaobin Xie

Xiaobin Yang

 

Other publications of authors with the same name

Short-Circuit Current Protection for AC Solid State Power Controller Using the Current Derivative., , , , , and . IECON, page 3096-3101. IEEE, (2019)Arc fault detection for AC SSPC based on Hilbert-Huang transform., , , and . IECON, page 4104-4109. IEEE, (2017)Research on gas bubble merging through the lattice Boltzmann method., , , and . J. Comput. Methods Sci. Eng., 16 (1): 99-109 (2016)Higher social power increases occupational gender stereotyping in Chinese culture., , and . Cogn. Process., 20 (3): 339-347 (2019)The Evaluation and Optimization of Power Architecture of Distributed Electrical Propulsion Fuel-cell UAV., , , , and . IECON, page 2376-2381. IEEE, (2020)Quantitative extraction and analysis of pear fruit spot phenotypes based on image recognition., , , , , and . Comput. Electron. Agric., (2021)Learning Performance in Block-based Programming Education for Children: Predictors and Moderator., , , and . PACIS, page 143. (2022)Exposing Vulnerable Paths: Enhance Static Analysis with Lightweight Symbolic Execution., , , , , , and . APSEC, page 441-451. IEEE, (2021)Assume-guarantee reasoning framework for MDP-POMDP., , and . CDC, page 795-800. IEEE, (2016)Improving Event Representation with Supervision from Available Semantic Resources., , , , and . DASFAA (3), volume 13945 of Lecture Notes in Computer Science, page 639-648. Springer, (2023)