Add to ORKGTo bridge the gap between domain experts and formal methods experts, visualisations of the behaviour of formal models are used to let the domain expert understand and experiment with the formal model. In this paper we provide a definition of visualisations, founded in game-theory, which regards visualisations as transition systems synchronised with formal models. We show example visualisations, use them to show winning strategies of games, and demonstrate how an industrial application of formal models benefited from this approach
Competition and collaboration form complex interaction patterns between the agents and objects invol...
In descriptive decision and game theory, one specifies a model of a situation faced by agents and us...
This chapter explores the methodological issues of modelling human behaviour at the relatively high ...
To bridge the gap between domain experts and formal methods experts, visualisations of the behaviour...
AbstractTo bridge the gap between domain experts and formal methods experts, visualisations of the b...
In this article results from mathematics are used to create a formalism for games. Games are conside...
Abstract. This paper introduces the notion of game coloured Petri nets. This allows the modeler to e...
Background. The abstraction of complex systems, which is required by default when modelling gaming s...
This paper proposes a method that provides the mechanism for a game AI (artificial intelligence) to ...
An emerging empirical methodology bridges the gap between game theory and simulation for practical s...
Abstract. Game semantics is concerned with providing game models to programming languages or proof t...
As a contribution to the challenge of building game-playing AI systems, we develop and analyse a for...
Copyright © 2015 M. C. P. Matos and M. A. M. Ferreira. This is an open access article distributed un...
This article explores how the concept of formalism and the resulting method of formal analysis have ...
Competition and collaboration form complex interaction patterns between the agents and objects invol...
Competition and collaboration form complex interaction patterns between the agents and objects invol...
In descriptive decision and game theory, one specifies a model of a situation faced by agents and us...
This chapter explores the methodological issues of modelling human behaviour at the relatively high ...
To bridge the gap between domain experts and formal methods experts, visualisations of the behaviour...
AbstractTo bridge the gap between domain experts and formal methods experts, visualisations of the b...
In this article results from mathematics are used to create a formalism for games. Games are conside...
Abstract. This paper introduces the notion of game coloured Petri nets. This allows the modeler to e...
Background. The abstraction of complex systems, which is required by default when modelling gaming s...
This paper proposes a method that provides the mechanism for a game AI (artificial intelligence) to ...
An emerging empirical methodology bridges the gap between game theory and simulation for practical s...
Abstract. Game semantics is concerned with providing game models to programming languages or proof t...
As a contribution to the challenge of building game-playing AI systems, we develop and analyse a for...
Copyright © 2015 M. C. P. Matos and M. A. M. Ferreira. This is an open access article distributed un...
This article explores how the concept of formalism and the resulting method of formal analysis have ...
Competition and collaboration form complex interaction patterns between the agents and objects invol...
Competition and collaboration form complex interaction patterns between the agents and objects invol...
In descriptive decision and game theory, one specifies a model of a situation faced by agents and us...
This chapter explores the methodological issues of modelling human behaviour at the relatively high ...