1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.AI2017★ 1 cited
Off The Beaten Lane: AI Challenges In MOBAs Beyond Player Control
Michael Cook, Adam Summerville, Simon Colton
MOBAs represent a huge segment of online gaming and are growing as both an eSport and a casual genre. The natural starting point for AI researchers interested in MOBAs is to develo…
cs.SE2016
Semi-Automated Design Space Exploration for Formal Modelling
Gudmund Grov, Andrew Ireland, Maria Teresa Llano +3
Refinement based formal methods allow the modelling of systems through incremental steps via abstraction. Discovering the right levels of abstraction, formulating correct and meani…