Game−Based Probabilistic Predicate Abstraction in PRISM

Game−Based Probabilistic Predicate Abstraction in PRISM

अन्य संस्करण दिखाएं (1)

ग्रंथसूची विवरण
मुख्य लेखकों:	Kattenbelt, M, Kwiatkowska, M, Norman, G, Parker, D
स्वरूप:	Conference item
प्रकाशित:	2008

समान संसाधन

Game−Based Probabilistic Predicate Abstraction in PRISM
द्वारा: Kattenbelt, M, और अन्य
प्रकाशित: (2008)

A Game−based Abstraction−Refinement Framework for Markov Decision Processes
द्वारा: Kattenbelt, M, और अन्य
प्रकाशित: (2008)

A game-based abstraction-refinement framework for Markov decision processes
द्वारा: Kattenbelt, M, और अन्य
प्रकाशित: (2010)

PRISM 4.0: Verification of probabilistic real-time systems
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2011)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2020)

Verification and control of turn-based probabilistic real-time games
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2019)

Abstraction Refinement for Probabilistic Software
द्वारा: Kwiatkowska, G, और अन्य
प्रकाशित: (2009)

Equilibria-based probabilistic model checking for concurrent stochastic games
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2019)

Verification and Refutation of Probabilistic Specifications via Games
द्वारा: Kattenbelt, M, और अन्य
प्रकाशित: (2009)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
द्वारा: Jovanovic, A, और अन्य
प्रकाशित: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
द्वारा: Jovanović, A, और अन्य
प्रकाशित: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
द्वारा: Jovanović, A, और अन्य
प्रकाशित: (2014)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2017)

An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
द्वारा: Ukachukwu Ndukwu, और अन्य
प्रकाशित: (2010-06-01)

Abstraction Framework for Markov Decision Processes and PCTL via Games
द्वारा: Kattenbelt, M, और अन्य
प्रकाशित: (2009)

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2016)

Local abstraction refinement for probabilistic timed programs
द्वारा: Dräger, K, और अन्य
प्रकाशित: (2013)

Counterexamples with Loops for Predicate Abstraction
द्वारा: Kroening, D, और अन्य
प्रकाशित: (2006)

Probabilistic model checking and autonomy
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2021)

Probabilistic mobile ambients
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2009)

SATABS: SAT−based Predicate Abstraction for ANSI−C
द्वारा: Clarke, E, और अन्य
प्रकाशित: (2005)

Automated Verification Techniques for Probabilistic Systems.
द्वारा: Forejt, V, और अन्य
प्रकाशित: (2011)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2017)

Predicate Abstraction with Under-approximation Refinement
द्वारा: Corina S. Pasareanu, और अन्य
प्रकाशित: (2007-02-01)

Modeling Memory with Uninterpreted Functions for Predicate Abstractions
द्वारा: M. U. Mandrykin, और अन्य
प्रकाशित: (2018-10-01)

Verification and Falsification of Programs with Loops Using Predicate Abstraction
द्वारा: Kroening, D, और अन्य
प्रकाशित: (2009)

Verification and falsification of programs with loops using predicate abstraction.
द्वारा: Kroening, D, और अन्य
प्रकाशित: (2010)

Verification of SpecC using Predicate Abstraction
द्वारा: Clarke, E, और अन्य
प्रकाशित: (2007)

Verification of SpecC using predicate abstraction.
द्वारा: Clarke, E, और अन्य
प्रकाशित: (2007)

Compositional probabilistic verification through multi-objective model checking
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2013)

Probabilistic model checking for strategic equilibria-based decision making: advances and challenges
द्वारा: Kwiatkowska, M, और अन्य
प्रकाशित: (2022)

Predicate Abstraction via Symbolic Decision Procedures
द्वारा: Shuvendu K. Lahiri, और अन्य
प्रकाशित: (2007-04-01)

Automated Predicate Abstraction for Real-Time Models
द्वारा: Bahareh Badban, और अन्य
प्रकाशित: (2009-11-01)

Verifying C++ with STL Containers via Predicate Abstraction
द्वारा: Blanc, N, और अन्य
प्रकाशित: (2007)

Verifying C++ with STL containers via predicate abstraction
द्वारा: Blanc, N, और अन्य
प्रकाशित: (2007)

Verification of SpecC and Verilog using Predicate Abstraction
द्वारा: Jain, H, और अन्य
प्रकाशित: (2004)

Probabilistic model checking of complex biological pathways
द्वारा: Heath, J, और अन्य
प्रकाशित: (2008)

Quantitative Multi-objective Verification for Probabilistic Systems.
द्वारा: Forejt, V, और अन्य
प्रकाशित: (2011)

Predicate Abstraction of ANSI–C Programs using SAT
द्वारा: Clarke, E, और अन्य
प्रकाशित: (2015)

Predicate Abstraction of ANSI-C Programs Using SAT.
द्वारा: Clarke, E, और अन्य
प्रकाशित: (2004)