Items where Author / Artist / Editor is "Qu, Hongyang"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article | Conference or Workshop Item
Number of items: 5.

Article

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 (2019) Comparing approaches for model-checking strategies under imperfect information and fairness constraints. International Journal on Software Tools for Technology Transfer, 21 (4) . pp. 449-469. ISSN 1433-2779 [Article] (doi:10.1007/s10009-018-0505-6)

Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 (2017) MCMAS: an open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer, 19 (1) . pp. 9-30. ISSN 1433-2779 [Article] (doi:10.1007/s10009-015-0378-x)

Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 (2009) MCMAS: a model checker for the verification of multi-agent systems. Lecture Notes in Computer Science, 5643 . pp. 682-688. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-02658-4_55)

Conference or Workshop Item

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 (2014) Improving the model checking of strategies under partial observability and fairness constraints. Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. In: 16th International Conference on Formal Engineering Methods, ICFEM 2014, 3-5 Nov 2014, Luxembourg. ISBN 9783319117362. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-11737-9_3)

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 (2013) Reasoning about strategies under partial observability and fairness constraints. Electronic Proceedings in Theoretical Computer Science, 112: Proceedings 1st International Workshop on Strategic Reasoning Rome, Italy, March 16-17, 2013. In: 1st International Workshop on Strategic Reasoning, 16-17 Mar 2013, Rome, Italy. . ISSN 2075-2180 [Conference or Workshop Item]

This list was generated on Tue May 30 06:08:32 2023 BST.