Game−Based Probabilistic Predicate Abstraction in PRISM

Game−Based Probabilistic Predicate Abstraction in PRISM

Show other versions (1)

Detalhes bibliográficos
Main Authors:	Kattenbelt, M, Kwiatkowska, M, Norman, G, Parker, D
Formato:	Conference item
Publicado em:	2008

Registos relacionados

Game−Based Probabilistic Predicate Abstraction in PRISM
Por: Kattenbelt, M, et al.
Publicado em: (2008)

A Game−based Abstraction−Refinement Framework for Markov Decision Processes
Por: Kattenbelt, M, et al.
Publicado em: (2008)

A game-based abstraction-refinement framework for Markov decision processes
Por: Kattenbelt, M, et al.
Publicado em: (2010)

PRISM 4.0: Verification of probabilistic real-time systems
Por: Kwiatkowska, M, et al.
Publicado em: (2011)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
Por: Kwiatkowska, M, et al.
Publicado em: (2020)

Verification and control of turn-based probabilistic real-time games
Por: Kwiatkowska, M, et al.
Publicado em: (2019)

Abstraction Refinement for Probabilistic Software
Por: Kwiatkowska, G, et al.
Publicado em: (2009)

Equilibria-based probabilistic model checking for concurrent stochastic games
Por: Kwiatkowska, M, et al.
Publicado em: (2019)

Verification and Refutation of Probabilistic Specifications via Games
Por: Kattenbelt, M, et al.
Publicado em: (2009)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
Por: Jovanovic, A, et al.
Publicado em: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
Por: Jovanović, A, et al.
Publicado em: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
Por: Jovanović, A, et al.
Publicado em: (2014)

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

An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
Por: Ukachukwu Ndukwu, et al.
Publicado em: (2010-06-01)

Abstraction Framework for Markov Decision Processes and PCTL via Games
Por: Kattenbelt, M, et al.
Publicado em: (2009)

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
Por: Kwiatkowska, M, et al.
Publicado em: (2016)

Local abstraction refinement for probabilistic timed programs
Por: Dräger, K, et al.
Publicado em: (2013)

Counterexamples with Loops for Predicate Abstraction
Por: Kroening, D, et al.
Publicado em: (2006)

Probabilistic model checking and autonomy
Por: Kwiatkowska, M, et al.
Publicado em: (2021)

Probabilistic mobile ambients
Por: Kwiatkowska, M, et al.
Publicado em: (2009)

SATABS: SAT−based Predicate Abstraction for ANSI−C
Por: Clarke, E, et al.
Publicado em: (2005)

Automated Verification Techniques for Probabilistic Systems.
Por: Forejt, V, et al.
Publicado em: (2011)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
Por: Kwiatkowska, M, et al.
Publicado em: (2017)

Predicate Abstraction with Under-approximation Refinement
Por: Corina S. Pasareanu, et al.
Publicado em: (2007-02-01)

Modeling Memory with Uninterpreted Functions for Predicate Abstractions
Por: M. U. Mandrykin, et al.
Publicado em: (2018-10-01)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
Por: Kroening, D, et al.
Publicado em: (2009)

Verification and falsification of programs with loops using predicate abstraction.
Por: Kroening, D, et al.
Publicado em: (2010)

Verification of SpecC using Predicate Abstraction
Por: Clarke, E, et al.
Publicado em: (2007)

Verification of SpecC using predicate abstraction.
Por: Clarke, E, et al.
Publicado em: (2007)

Compositional probabilistic verification through multi-objective model checking
Por: Kwiatkowska, M, et al.
Publicado em: (2013)

Probabilistic model checking for strategic equilibria-based decision making: advances and challenges
Por: Kwiatkowska, M, et al.
Publicado em: (2022)

Predicate Abstraction via Symbolic Decision Procedures
Por: Shuvendu K. Lahiri, et al.
Publicado em: (2007-04-01)

Automated Predicate Abstraction for Real-Time Models
Por: Bahareh Badban, et al.
Publicado em: (2009-11-01)

Verifying C++ with STL Containers via Predicate Abstraction
Por: Blanc, N, et al.
Publicado em: (2007)

Verifying C++ with STL containers via predicate abstraction
Por: Blanc, N, et al.
Publicado em: (2007)

Verification of SpecC and Verilog using Predicate Abstraction
Por: Jain, H, et al.
Publicado em: (2004)

Probabilistic model checking of complex biological pathways
Por: Heath, J, et al.
Publicado em: (2008)

Quantitative Multi-objective Verification for Probabilistic Systems.
Por: Forejt, V, et al.
Publicado em: (2011)

Predicate Abstraction of ANSI–C Programs using SAT
Por: Clarke, E, et al.
Publicado em: (2015)

Predicate Abstraction of ANSI-C Programs Using SAT.
Por: Clarke, E, et al.
Publicado em: (2004)