@inproceedings{66b34cd5b071474faff888157ee8839d,
title = "Verifying strategies in dialogue games",
abstract = "The aim of the paper is to consider a game-theoretic properties of strategies available to players in dialogue games. We treat speech acts formulated in a dialogue as moves in a dialogue game and rules for their appropriateness as rules of this game. We would like to analyze dialogical systems as a Nash-style games, and explore verification possibilities for some properties of such games e.g. dominant strategies and Nash equilibrium. Since automatic verification of such games could be of high complexity, we consider a model checking approach, which is commonly applied method allowing for verification of different systems and their properties. This method is based on solutions, which are trying to deal with the state explosion problem.",
keywords = "Dialogue games, Dominant strategy, Formal natural dialogues, Game theory, Nash equilibrium",
author = "Anna Sawicka and Magdalena Kacprzak and Marcin Dziubi{\'n}ski and Katarzyna Budzynska",
year = "2014",
language = "English",
volume = "1269",
series = "CEUR Workshop Proceedings",
publisher = "Humboldt Universitat zu Berlin",
pages = "92--100",
editor = "Louchka Popova-Zeugmann",
booktitle = "Concurrency, Specification and Programming",
note = "23th International Workshop on Concurrency, Specification and Programming, CS and P 2014 ; Conference date: 29-09-2014 Through 01-10-2014",
}