Mr William Kavanagh

  • Graduate Teaching Assistant, Lab Assistant (School of Computing Science)

Publications

List by: Type | Date

Jump to: 2019
Number of items: 1.

2019

Kavanagh, W. and Miller, A. (2019) Chained Strategy Generation: A Technique for Balancing Multiplayer Games Using Model Checking. In: 26th Automated Reasoning Workshop (ARW 2019), London, UK, 02-03 Sep 2019, pp. 15-16.

This list was generated on Mon Jul 13 21:12:40 2020 BST.
Number of items: 1.

Conference Proceedings

Kavanagh, W. and Miller, A. (2019) Chained Strategy Generation: A Technique for Balancing Multiplayer Games Using Model Checking. In: 26th Automated Reasoning Workshop (ARW 2019), London, UK, 02-03 Sep 2019, pp. 15-16.

This list was generated on Mon Jul 13 21:12:40 2020 BST.