Game−Based Probabilistic Predicate Abstraction in PRISM

Game−Based Probabilistic Predicate Abstraction in PRISM

Zobrazit další vydání (1)

Podrobná bibliografie
Hlavní autoři:	Kattenbelt, M, Kwiatkowska, M, Norman, G, Parker, D
Médium:	Conference item
Vydáno:	2008

Podobné jednotky

Game−Based Probabilistic Predicate Abstraction in PRISM
Autor: Kattenbelt, M, a další
Vydáno: (2008)

A Game−based Abstraction−Refinement Framework for Markov Decision Processes
Autor: Kattenbelt, M, a další
Vydáno: (2008)

A game-based abstraction-refinement framework for Markov decision processes
Autor: Kattenbelt, M, a další
Vydáno: (2010)

PRISM 4.0: Verification of probabilistic real-time systems
Autor: Kwiatkowska, M, a další
Vydáno: (2011)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
Autor: Kwiatkowska, M, a další
Vydáno: (2020)

Verification and control of turn-based probabilistic real-time games
Autor: Kwiatkowska, M, a další
Vydáno: (2019)

Abstraction Refinement for Probabilistic Software
Autor: Kwiatkowska, G, a další
Vydáno: (2009)

Equilibria-based probabilistic model checking for concurrent stochastic games
Autor: Kwiatkowska, M, a další
Vydáno: (2019)

Verification and Refutation of Probabilistic Specifications via Games
Autor: Kattenbelt, M, a další
Vydáno: (2009)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
Autor: Jovanovic, A, a další
Vydáno: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
Autor: Jovanović, A, a další
Vydáno: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
Autor: Jovanović, A, a další
Vydáno: (2014)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
Autor: Kwiatkowska, M, a další
Vydáno: (2017)

An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
Autor: Ukachukwu Ndukwu, a další
Vydáno: (2010-06-01)

Abstraction Framework for Markov Decision Processes and PCTL via Games
Autor: Kattenbelt, M, a další
Vydáno: (2009)

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
Autor: Kwiatkowska, M, a další
Vydáno: (2016)

Local abstraction refinement for probabilistic timed programs
Autor: Dräger, K, a další
Vydáno: (2013)

Counterexamples with Loops for Predicate Abstraction
Autor: Kroening, D, a další
Vydáno: (2006)

Probabilistic model checking and autonomy
Autor: Kwiatkowska, M, a další
Vydáno: (2021)

Probabilistic mobile ambients
Autor: Kwiatkowska, M, a další
Vydáno: (2009)

SATABS: SAT−based Predicate Abstraction for ANSI−C
Autor: Clarke, E, a další
Vydáno: (2005)

Automated Verification Techniques for Probabilistic Systems.
Autor: Forejt, V, a další
Vydáno: (2011)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
Autor: Kwiatkowska, M, a další
Vydáno: (2017)

Predicate Abstraction with Under-approximation Refinement
Autor: Corina S. Pasareanu, a další
Vydáno: (2007-02-01)

Modeling Memory with Uninterpreted Functions for Predicate Abstractions
Autor: M. U. Mandrykin, a další
Vydáno: (2018-10-01)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
Autor: Kroening, D, a další
Vydáno: (2009)

Verification and falsification of programs with loops using predicate abstraction.
Autor: Kroening, D, a další
Vydáno: (2010)

Verification of SpecC using Predicate Abstraction
Autor: Clarke, E, a další
Vydáno: (2007)

Verification of SpecC using predicate abstraction.
Autor: Clarke, E, a další
Vydáno: (2007)

Compositional probabilistic verification through multi-objective model checking
Autor: Kwiatkowska, M, a další
Vydáno: (2013)

Probabilistic model checking for strategic equilibria-based decision making: advances and challenges
Autor: Kwiatkowska, M, a další
Vydáno: (2022)

Predicate Abstraction via Symbolic Decision Procedures
Autor: Shuvendu K. Lahiri, a další
Vydáno: (2007-04-01)

Automated Predicate Abstraction for Real-Time Models
Autor: Bahareh Badban, a další
Vydáno: (2009-11-01)

Verifying C++ with STL Containers via Predicate Abstraction
Autor: Blanc, N, a další
Vydáno: (2007)

Verifying C++ with STL containers via predicate abstraction
Autor: Blanc, N, a další
Vydáno: (2007)

Verification of SpecC and Verilog using Predicate Abstraction
Autor: Jain, H, a další
Vydáno: (2004)

Probabilistic model checking of complex biological pathways
Autor: Heath, J, a další
Vydáno: (2008)

Quantitative Multi-objective Verification for Probabilistic Systems.
Autor: Forejt, V, a další
Vydáno: (2011)

Predicate Abstraction of ANSI–C Programs using SAT
Autor: Clarke, E, a další
Vydáno: (2015)

Predicate Abstraction of ANSI-C Programs Using SAT.
Autor: Clarke, E, a další
Vydáno: (2004)