Items where Author / Artist / Editor is "Busard, Simon"

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

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)

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 Tue Oct 22 05:01:41 2019 BST.