Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Social Foundations of Self I: Play and Game01:24

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

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

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

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

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

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

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Measurement of Line Width and Anisotropy in <i>C</i><sub>3</sub>/<i>C</i><sub>4</sub>-Symmetric Gd(III) Complexes.

Inorganic chemistry·2026
Same author

Volume and Tempo: Cortical Excitability and Trial-to-Trial Consistency of Auditory Responses Distinguish Psychosis Biotypes.

Research square·2026
Same author

Protein binding regulates complex configuration: comparative analysis of three dynamically racemic europium(iii) complexes.

RSC advances·2026
Same author

Absolute Temperature Mapping Using Chiral Terbium Parashift Complexes for MRI Thermometry.

Chemical & biomedical imaging·2026
Same author

Silicone vs. Silicon/Silica in Intraoral Healing: A Systematic Review.

Materials (Basel, Switzerland)·2026
Same author

Synthesis and preliminary assessment of fluorescent probes based on the competitive GPCR antagonists vismodegib and masupirdine.

RSC advances·2026

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

Keywords:
Formal verificationQuantitative verificationStochastic games

More Related Videos

Developing a Virtual Reality Video Game to Simulate Rip Currents
08: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 Cognition
05:15

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

Published on: February 19, 2018

11.3K

Related Experiment Videos

Last 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
Developing a Virtual Reality Video Game to Simulate Rip Currents
08: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 Cognition
05:15

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

Published on: February 19, 2018

11.3K

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.