Published in: Dagstuhl Reports, Volume 12, Issue 6 (2023)
Dan Ashlock, Setareh Maghsudi, Diego Perez Liebana, Pieter Spronck, and Manuel Eberhardinger. Human-Game AI Interaction (Dagstuhl Seminar 22251). In Dagstuhl Reports, Volume 12, Issue 6, pp. 28-82, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{ashlock_et_al:DagRep.12.6.28, author = {Ashlock, Dan and Maghsudi, Setareh and Liebana, Diego Perez and Spronck, Pieter and Eberhardinger, Manuel}, title = {{Human-Game AI Interaction (Dagstuhl Seminar 22251)}}, pages = {28--82}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2023}, volume = {12}, number = {6}, editor = {Ashlock, Dan and Maghsudi, Setareh and Liebana, Diego Perez and Spronck, Pieter and Eberhardinger, Manuel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.12.6.28}, URN = {urn:nbn:de:0030-drops-174550}, doi = {10.4230/DagRep.12.6.28}, annote = {Keywords: Computational intelligence, artificial intelligence, games, modeling, interaction} }
Published in: Dagstuhl Reports, Volume 9, Issue 11 (2020)
Francisco Durán, Robert Heinrich, Diego Pérez-Palacín, Carolyn L. Talcott, and Steffen Zschaler. Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481). In Dagstuhl Reports, Volume 9, Issue 11, pp. 97-116, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@Article{duran_et_al:DagRep.9.11.97, author = {Dur\'{a}n, Francisco and Heinrich, Robert and P\'{e}rez-Palac{\'\i}n, Diego and Talcott, Carolyn L. and Zschaler, Steffen}, title = {{Composing Model-Based Analysis Tools (Dagstuhl Seminar 19481)}}, pages = {97--116}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2020}, volume = {9}, number = {11}, editor = {Dur\'{a}n, Francisco and Heinrich, Robert and P\'{e}rez-Palac{\'\i}n, Diego and Talcott, Carolyn L. and Zschaler, Steffen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.9.11.97}, URN = {urn:nbn:de:0030-drops-119853}, doi = {10.4230/DagRep.9.11.97}, annote = {Keywords: Modelling, Simulation, Semantics, Formal Methods, Software Engineering} }
Feedback for Dagstuhl Publishing