Expectation vs. reality: towards verification of psychological games

Expectation vs. reality: towards verification of psychological games

Game theory provides an effective way to model strategic interactions among rational agents. In the context of formal verification, these ideas can be used to produce guarantees on the correctness of multi-agent systems, with a diverse range of applications from computer security to autonomous drivi...

Bibliografiset tiedot
Päätekijät:	Kwiatkowska, M, Norman, G, Parker, D, Santos, G
Aineistotyyppi:	Book section
Kieli:	English
Julkaistu:	Springer 2024

Samankaltaisia teoksia

Automated verification of concurrent stochastic games
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2018)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2020)

Multi-player equilibria verification for concurrent stochastic games
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2020)

Symbolic verification and strategy synthesis for turn-based stochastic games
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2022)

Verification and control of turn-based probabilistic real-time games
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2019)

Expected Reachability-Time Games.
Tekijä: Forejt, V, et al.
Julkaistu: (2010)

Expected Reachability−Time Games
Tekijä: Forejt, V, et al.
Julkaistu: (2010)

Expected reachability-time games
Tekijä: Forejt, V, et al.
Julkaistu: (2016)

Automatic verification of concurrent stochastic systems
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2021)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2017)

PRISM 4.0: Verification of probabilistic real-time systems
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2011)

Automated Verification Techniques for Probabilistic Systems.
Tekijä: Forejt, V, et al.
Julkaistu: (2011)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2017)

Correlated equilibria and fairness in concurrent stochastic games
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2022)

Compositional probabilistic verification through multi-objective model checking
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2013)

Russian University Cities: Expectations vs. Reality
Tekijä: I. D. Turgel, et al.
Julkaistu: (2023-05-01)

Equilibria-based probabilistic model checking for concurrent stochastic games
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2019)

Quantitative verification and strategy synthesis of stochastic games
Tekijä: Svorenova, M, et al.
Julkaistu: (2016)

Quantitative Multi-objective Verification for Probabilistic Systems.
Tekijä: Forejt, V, et al.
Julkaistu: (2011)

Rational verification: game-theoretic verification of multi-agent systems
Tekijä: Abate, A, et al.
Julkaistu: (2021)

Partially observable stochastic games with neural perception mechanisms
Tekijä: Yan, R, et al.
Julkaistu: (2024)

Simulation and verification for computational modelling of signalling pathways.
Tekijä: Kwiatkowska, M, et al.
Julkaistu: (2006)

Game−Based Probabilistic Predicate Abstraction in PRISM
Tekijä: Kattenbelt, M, et al.
Julkaistu: (2008)

Game−Based Probabilistic Predicate Abstraction in PRISM
Tekijä: Kattenbelt, M, et al.
Julkaistu: (2008)

Expectation vs. Reality: Attitudes Towards a Socially Assistive Robot in Cardiac Rehabilitation
Tekijä: Jonathan A. Casas, et al.
Julkaistu: (2019-11-01)

Quality teacher nation's aspiration : expectation vs. reality
Tekijä: Hamzah, Mohd Sahandri Gani, et al.
Julkaistu: (2009)

Pharmacogenomics and clinical response to antipsychotic treatment. Expectations vs reality.
Tekijä: N. Papadimitriou, et al.
Julkaistu: (2023-03-01)

A game-based abstraction-refinement framework for Markov decision processes
Tekijä: Kattenbelt, M, et al.
Julkaistu: (2010)

A Game−based Abstraction−Refinement Framework for Markov Decision Processes
Tekijä: Kattenbelt, M, et al.
Julkaistu: (2008)

HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms
Tekijä: Yan, R, et al.
Julkaistu: (2024)

The Indonesian National Sports Games (PON): Expectations and Reality
Tekijä: Amung Ma'mun
Julkaistu: (2019-04-01)

Sensory quality of upcycled legume water: Expectation vs. reality
Tekijä: Lauryn Rose Hippolite, et al.
Julkaistu: (2023-04-01)

The Quality of Brand Products: Expected Attributes vs. Perceived Reality
Tekijä: Durana Pavol, et al.
Julkaistu: (2019-06-01)

Compositional Verification of Probabilistic Systems using Learning
Tekijä: Feng, L, et al.
Julkaistu: (2010)

Buffer Overflow Detection via Static Analysis: Expectations vs. Reality
Tekijä: I. A. Dudina
Julkaistu: (2018-10-01)

Learning−based Compositional Verification for Synchronous Probabilistic Systems
Tekijä: Feng, L, et al.
Julkaistu: (2011)

Automatic Verification of Competitive Stochastic Systems.
Tekijä: Chen, T, et al.
Julkaistu: (2012)

Automatic Verification of Competitive Stochastic Systems
Tekijä: Chen, T, et al.
Julkaistu: (2011)

Automatic Verification of Competitive Stochastic Systems
Tekijä: Chen, T, et al.
Julkaistu: (2012)

A game-based approximate verification of deep neural networks with provable guarantees
Tekijä: Wu, M, et al.
Julkaistu: (2019)