Game−Based Probabilistic Predicate Abstraction in PRISM

Game−Based Probabilistic Predicate Abstraction in PRISM

Mostrar outras versões (1)

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

Registros 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)