Items where authors include "Qu, H."

Article

Aad, G. orcid.org/0000-0002-6665-4934, Abbott, B. orcid.org/0000-0002-5888-2734, Abeling, K. orcid.org/0000-0002-1002-1652 et al. (5287 more authors) (2024) Evidence for the Higgs boson decay to a Z boson and a photon at the LHC. Physical Review Letters, 132 (2). 021803. ISSN 0031-9007

Aad, G., Abbott, B., Abbott, D.C. et al. (5241 more authors) (2023) Combination of inclusive top-quark pair production cross-section measurements using ATLAS and CMS data at s√ = 7 and 8 TeV. Journal of High Energy Physics, 2023 (7). 213. ISSN 1126-6708

Al-Nuaimi, M., Wibowo, S., Qu, H. et al. (2 more authors) (2021) Hybrid verification technique for decision-making of self-driving vehicles. Journal of Sensor and Actuator Networks, 10 (3). 42.

Qu, H. orcid.org/0000-0001-7136-4440, Zhu, Z.Q. orcid.org/0000-0001-7175-3307, Matsuura, T. et al. (8 more authors) (2021) Comparative study of dual PM vernier machines. World Electric Vehicle Journal, 12 (1). 12.

Qu, H., Smyrnakis, M. and Veres, S.M. (2016) SMCL - Stochastic Model Checker for Learning in Games. arXiv. (Submitted)

Qu, H. orcid.org/0000-0002-1643-8926 and Veres, S.M. (2016) Verification of logical consistency in robotic reasoning. Robotics and Autonomous Systems, 83. pp. 44-56. ISSN 0921-8890

Yuan, Q., Qu, H. orcid.org/0000-0002-1643-8926, Pang, J. et al. (1 more author) (2016) Improving BDD-based attractor detection for synchronous Boolean networks. Science China Information Sciences, 59 (8). 080101. ISSN 1674-733X

Busard, S., Pecheur, C., Qu, H. et al. (1 more author) (2015) Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. Information and Computation, 242. pp. 128-156. ISSN 0890-5401

Lomuscio, A.R., Qu, H. and Raimondi, F. (2015) MCMAS: an open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer. ISSN 1433-2779

El Kholy, W., El-Menshawy, M., Bentahar, J. et al. (2 more authors) (2015) Formal Specification and Automatic Verification of Conditional Commitments. IEEE Intelligent Systems, 30 (2). 36 - 44. ISSN 1541-1672

Draeger, K., Kwiatkowska, M., Parker, D. et al. (1 more author) (2014) Local abstraction refinement for probabilistic timed programs. Theoretical Computer Science, 538. pp. 37-53. ISSN 0304-3975

Proceedings Paper

Hazim, M.Y., Qu, H. orcid.org/0000-0002-1643-8926 and Veres, S.M. (2016) Testing, Verification and Improvements of Timeliness in ROS Processes. In: Alboul , L., Damian, D. and Aitken, J., (eds.) Towards Autonomous Robotic Systems, TAROS 2016. Towards Autonomous Robotic Systems 17th Annual Conference, TAROS 2016, 26 Jun - 01 Jul 2016, Sheffield, UK. Lecture Notes in Computer Science (9716). Springer Verlag , pp. 146-157. ISBN 978-3-319-40378-6

Qu, H., Kolling, A. and Veres, S.M. (2015) Computing Time-Optimal Clearing Strategies for Pursuit-Evasion Problems with Linear Programming. In: Towards Autonomous Robotic Systems. UNSPECIFIED. Lecture Notes in Computer Science, 9287 . Springer Verlag , pp. 216-228. ISBN 978-3-319-22415-2