Related Experiment Video
Updated: Jan 22, 2026
06:18
The Collective Trust Game: An Online Group Adaptation of the Trust Game Based on the HoneyComb Paradigm
Published on: October 20, 2022
2.5K
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
Marta Kwiatkowska1, David Parker2, Clemens Wiltsche1
11Department of Computer Science, University of Oxford, Oxford, UK.
International Journal on Software Tools for Technology Transfer : STTT
|July 2, 2019
Summary
PRISM-games is a new tool for modeling and verifying stochastic multi-player games, incorporating probability and game theory. It aids in strategy synthesis for complex systems like autonomous transport and security protocols.
Area of Science:
- Computer Science
- Artificial Intelligence
- Game Theory
Background:
- Stochastic multi-player games are crucial for modeling systems with uncertainty and competing objectives.
- Existing tools may lack comprehensive features for both modeling and strategy synthesis.
Purpose of the Study:
- To introduce and detail the PRISM-games tool for modeling, verification, and strategy synthesis.
- To highlight key features such as multi-objective and compositional approaches.
- To discuss the tool's scalability, efficiency, and application scope.
Main Methods:
- Development of a tool integrating probability and game-theoretic aspects.
- Implementation of formalisms for modeling and property specification.
- Exploration of multi-objective and compositional verification and synthesis techniques.
Main Results:
- PRISM-games provides a unified framework for stochastic multi-player games.
- The tool supports advanced features for verification and strategy synthesis.
- Demonstrated scalability and efficiency through various case studies.
Conclusions:
- PRISM-games is a powerful and versatile tool for analyzing complex systems.
- Its capabilities are applicable to diverse fields including autonomous systems and security.
- The tool facilitates robust strategy synthesis and verification.
Related Concept Videos
01:24Social Foundations of Self I: Play and Game
195
The development of self in children is deeply rooted in social interactions, mainly through stages of play and structured games. These stages, outlined by sociologist George Herbert Mead, illustrate how children progressively learn to understand and adopt social roles, forming a cohesive sense of self.The Play Stage: Imitation and Simple Role-TakingIn the early years of childhood, the play stage is characterized by imitative behavior, where children engage in role-playing based on familiar...
195
01:17Strategies of Self-Presentation II: Self-Verification
176
Self-verification is a fundamental psychological drive wherein individuals seek affirmation of their self-concept from others, striving for consistency between their internal self-view and external perceptions. This drive operates even when the self-concept is negative, influencing interpersonal behavior and feedback preferences in complex and often counterintuitive ways. Unlike the self-enhancement motive, which seeks positive evaluations, self-verification prioritizes coherence and...
176
03:00Self-Evaluation: Self-Enhancement and Self-Verification
5.7K
Social psychologists have documented that feeling good about ourselves and maintaining positive self-esteem is a powerful motivator of human behavior (Tavris & Aronson, 2008). In the United States, members of the predominant culture typically think very highly of themselves and view themselves as good people who are above average on many desirable traits (Ehrlinger, Gilovich, & Ross, 2005). Often, our behavior, attitudes, and beliefs are affected when we experience a threat to our...
5.7K
02:08Trait and State Self-Esteem
11.5K
The term self-esteem is often used generically, to refer to how people feel about themselves. However, according to research, there are three distinct constructs that should not be used interchangeably (Brown & Marshall, 2006).
11.5K
02:17Synthesis and Decomposition Reactions
38.1K
Synthesis and decomposition are two types of redox reactions. Synthesis means to make something, whereas decomposition means to break something. The reactions are accompanied by chemical and energy changes.
38.1K
01:59Lagging Strand Synthesis
61.0K
During replication, the complementary strands in double-stranded DNA are synthesized at different rates. Replication first begins on the leading strand. Replication starts later, occurs more slowly, and proceeds discontinuously on the lagging strand.
There are several major differences between synthesis of the leading strand and synthesis of the lagging strand. 1) Leading strand synthesis happens in the direction of replication fork opening, whereas lagging strand synthesis happens in the...
There are several major differences between synthesis of the leading strand and synthesis of the lagging strand. 1) Leading strand synthesis happens in the direction of replication fork opening, whereas lagging strand synthesis happens in the...
61.0K