Game−Based Probabilistic Predicate Abstraction in PRISM

Game−Based Probabilistic Predicate Abstraction in PRISM

Show other versions (1)

书目详细资料
Main Authors:	Kattenbelt, M, Kwiatkowska, M, Norman, G, Parker, D
格式:	Conference item
出版:	2008

相似书籍

Game−Based Probabilistic Predicate Abstraction in PRISM
由: Kattenbelt, M, et al.
出版: (2008)

A Game−based Abstraction−Refinement Framework for Markov Decision Processes
由: Kattenbelt, M, et al.
出版: (2008)

A game-based abstraction-refinement framework for Markov decision processes
由: Kattenbelt, M, et al.
出版: (2010)

PRISM 4.0: Verification of probabilistic real-time systems
由: Kwiatkowska, M, et al.
出版: (2011)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
由: Kwiatkowska, M, et al.
出版: (2020)

Verification and control of turn-based probabilistic real-time games
由: Kwiatkowska, M, et al.
出版: (2019)

Abstraction Refinement for Probabilistic Software
由: Kwiatkowska, G, et al.
出版: (2009)

Equilibria-based probabilistic model checking for concurrent stochastic games
由: Kwiatkowska, M, et al.
出版: (2019)

Verification and Refutation of Probabilistic Specifications via Games
由: Kattenbelt, M, et al.
出版: (2009)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
由: Jovanovic, A, et al.
出版: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
由: Jovanović, A, et al.
出版: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
由: Jovanović, A, et al.
出版: (2014)

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

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

Abstraction Framework for Markov Decision Processes and PCTL via Games
由: Kattenbelt, M, et al.
出版: (2009)

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
由: Kwiatkowska, M, et al.
出版: (2016)

Local abstraction refinement for probabilistic timed programs
由: Dräger, K, et al.
出版: (2013)

Counterexamples with Loops for Predicate Abstraction
由: Kroening, D, et al.
出版: (2006)

Probabilistic model checking and autonomy
由: Kwiatkowska, M, et al.
出版: (2021)

Probabilistic mobile ambients
由: Kwiatkowska, M, et al.
出版: (2009)

SATABS: SAT−based Predicate Abstraction for ANSI−C
由: Clarke, E, et al.
出版: (2005)

Automated Verification Techniques for Probabilistic Systems.
由: Forejt, V, et al.
出版: (2011)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
由: Kwiatkowska, M, et al.
出版: (2017)

Predicate Abstraction with Under-approximation Refinement
由: Corina S. Pasareanu, et al.
出版: (2007-02-01)

Modeling Memory with Uninterpreted Functions for Predicate Abstractions
由: M. U. Mandrykin, et al.
出版: (2018-10-01)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
由: Kroening, D, et al.
出版: (2009)

Verification and falsification of programs with loops using predicate abstraction.
由: Kroening, D, et al.
出版: (2010)

Verification of SpecC using Predicate Abstraction
由: Clarke, E, et al.
出版: (2007)

Verification of SpecC using predicate abstraction.
由: Clarke, E, et al.
出版: (2007)

Compositional probabilistic verification through multi-objective model checking
由: Kwiatkowska, M, et al.
出版: (2013)

Probabilistic model checking for strategic equilibria-based decision making: advances and challenges
由: Kwiatkowska, M, et al.
出版: (2022)

Predicate Abstraction via Symbolic Decision Procedures
由: Shuvendu K. Lahiri, et al.
出版: (2007-04-01)

Automated Predicate Abstraction for Real-Time Models
由: Bahareh Badban, et al.
出版: (2009-11-01)

Verifying C++ with STL Containers via Predicate Abstraction
由: Blanc, N, et al.
出版: (2007)

Verifying C++ with STL containers via predicate abstraction
由: Blanc, N, et al.
出版: (2007)

Verification of SpecC and Verilog using Predicate Abstraction
由: Jain, H, et al.
出版: (2004)

Probabilistic model checking of complex biological pathways
由: Heath, J, et al.
出版: (2008)

Quantitative Multi-objective Verification for Probabilistic Systems.
由: Forejt, V, et al.
出版: (2011)

Predicate Abstraction of ANSI–C Programs using SAT
由: Clarke, E, et al.
出版: (2015)

Predicate Abstraction of ANSI-C Programs Using SAT.
由: Clarke, E, et al.
出版: (2004)