Related Experiment Video

Updated: Jan 22, 2026

The Collective Trust Game: An Online Group Adaptation of the Trust Game Based on the HoneyComb Paradigm
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
PubMed

Keywords:
Formal verificationQuantitative verificationStochastic games

More Related Videos

Developing a Virtual Reality Video Game to Simulate Rip Currents08:37

Developing a Virtual Reality Video Game to Simulate Rip Currents

Published on: July 16, 2020

6.0K
The Spatial Memory Game: Testing the Relationship Between Spatial Language, Object Knowledge, and Spatial Cognition05:15

The Spatial Memory Game: Testing the Relationship Between Spatial Language, Object Knowledge, and Spatial Cognition

Published on: February 19, 2018

11.3K

Related Concept Videos

Social Foundations of Self I: Play and Game01:24

Social Foundations of Self I: Play and Game

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
Strategies of Self-Presentation II: Self-Verification01:17

Strategies of Self-Presentation II: Self-Verification

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
Self-Evaluation: Self-Enhancement and Self-Verification03:00

Self-Evaluation: Self-Enhancement and Self-Verification

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
Trait and State Self-Esteem02:08

Trait and State Self-Esteem

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
Synthesis and Decomposition Reactions02:17

Synthesis and Decomposition Reactions

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
Lagging Strand Synthesis01:59

Lagging Strand Synthesis

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...
61.0K