Browse by Person

Export as [feed] Atom [feed] RSS
Group by: Item Type | No Grouping
Number of items: 11.


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., Zhu, Z.Q., 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. 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., 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. 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

This list was generated on Sun Oct 17 13:49:45 2021 BST.