Verifying Strategies in Dialogue Games

Magdalena Kacprzak, Anna Sawicka, Katarzyna Budzynska, Marcin Dziubinski. Verifying Strategies in Dialogue Games. In Louchka Popova-Zeugmann, editor, Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29 - October 1, 2014. Volume 1269 of CEUR Workshop Proceedings, pages 92-100, CEUR-WS.org, 2014. [doi]

Abstract

Abstract is missing.