Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 9.

Article

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

This list was generated on Mon Oct 21 10:36:55 2019 BST.