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

See full list of headings
Export as [feed] RSS 1.0
Group by: Item Type | No Grouping
Number of items: 4.

Article

Lomuscio, Alessio and Qu, Hongyang and Raimondi, Franco (2015) MCMAS: an open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer . pp. 1-22. ISSN 1433-2779 (Published online first)

Lomuscio, Alessio and 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

Conference or Workshop Item

Busard, Simon and Pecheur, Charles and 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.

Busard, Simon and Pecheur, Charles and 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 Fri Dec 2 04:46:45 2016 GMT.