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
Number of items: 5.

Article

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco (2018) Comparing approaches for model-checking strategies under imperfect information and fairness constraints. International Journal on Software Tools for Technology Transfer . ISSN 1433-2779 (Published online first) (doi:10.1007/s10009-018-0505-6)

Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco (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 (doi:10.1007/s10009-015-0378-x)

Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco (2009) MCMAS: a model checker for the verification of multi-agent systems. Lecture Notes in Computer Science, 5643 . pp. 682-688. ISSN 0302-9743 (doi:10.1007/978-3-642-02658-4_55)

Conference or Workshop Item

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco (2014) Improving the model checking of strategies under partial observability and fairness constraints. In: 16th International Conference on Formal Engineering Methods, ICFEM 2014, 3-5 Nov 2014, Luxembourg. (doi:10.1007/978-3-319-11737-9_3)

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco (2013) Reasoning about strategies under partial observability and fairness constraints. In: 1st International Workshop on Strategic Reasoning, 16-17 Mar 2013, Rome, Italy.

This list was generated on Thu Oct 24 05:08:19 2019 BST.