Filters








2 Hits in 2.8 sec

Artificial and Computational Intelligence in Games: Integration (Dagstuhl Seminar 15051)

Simon M. Lucas, Michael Mateas, Mike Preuss, Pieter Spronck, Julian Togelius, Marc Herbstritt
2015 Dagstuhl Reports  
The focus of the seminar was on the computational techniques used to create, enhance, and improve the experiences of humans interacting with and within virtual environments.  ...  Different researchers in this field have different goals, including developing and testing new AI methods, creating interesting and believable non-player characters, improving the game production pipeline  ...  PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis.As an offshoot of work discussed by the PCG and Formal Design Methods group, one concrete project is to examine  ... 
doi:10.4230/dagrep.5.1.207 dblp:journals/dagstuhl-reports/LucasMPST15 fatcat:326hvjmzcndnzgd3jyk343sc2u

OASIcs, Volume 21, SLATE'12, Complete Volume [article]

Alberto Simões, Ricardo Queirós, Daniela da Cruz
2012
Acknowledgements We wish to thank those anonymous applicants who tested the systems for us.  ...  Korat Korat [11] is a mature framework for automated testing structurally complex inputs of JAVA programs.  ...  It extends the yapp syntax with named attributes, extended BNF expressions, automatic abstract syntax tree building, syntax directed data generation, tree regular expressions, tree transformations, directed  ... 
doi:10.4230/oasics.slate.2012 fatcat:gyzklbs3sncivkmkqwnl52r4li