Playing Stochastic Games Precisely

Playing Stochastic Games Precisely

Hiển thị phiên bản (1) khác

Chi tiết về thư mục
Những tác giả chính:	Chen, T, Forejt, V, Kwiatkowska, M, Simaitis, A, Trivedi, A, Ummels, M
Định dạng:	Conference item
Được phát hành:	2012

Những quyển sách tương tự

PLAYING STOCHASTIC GAMES PRECISELY
Bằng: Chen, T, et al.
Được phát hành: (2012)

On Stochastic Games with Multiple Objectives
Bằng: Chen, T, et al.
Được phát hành: (2013)

Automatic Verification of Competitive Stochastic Systems.
Bằng: Chen, T, et al.
Được phát hành: (2012)

Automatic Verification of Competitive Stochastic Systems
Bằng: Chen, T, et al.
Được phát hành: (2012)

Automatic Verification of Competitive Stochastic Systems
Bằng: Chen, T, et al.
Được phát hành: (2011)

Expected Reachability−Time Games
Bằng: Forejt, V, et al.
Được phát hành: (2010)

Expected reachability-time games
Bằng: Forejt, V, et al.
Được phát hành: (2016)

Expected Reachability-Time Games.
Bằng: Forejt, V, et al.
Được phát hành: (2010)

Reachability in Stochastic Timed Games.
Bằng: Bouyer, P, et al.
Được phát hành: (2009)

Decidability results for multi-objective stochastic games
Bằng: Brenguier, R, et al.
Được phát hành: (2016)

Continuous-Time Stochastic Games with Time-Bounded Reachability.
Bằng: Brázdil, T, et al.
Được phát hành: (2009)

Precise Parameter Synthesis for Stochastic Biochemical Systems
Bằng: Češka, M, et al.
Được phát hành: (2014)

Precise Parameter Synthesis for Stochastic Biochemical Systems
Bằng: Češka, M, et al.
Được phát hành: (2014)

Precise Parameter Synthesis for Stochastic Biochemical Systems
Bằng: Ceska, M, et al.
Được phát hành: (2015)

Automatic verification of competitive stochastic systems
Bằng: Simaitis, A
Được phát hành: (2014)

Quantitative verification and strategy synthesis of stochastic games
Bằng: Svorenova, M, et al.
Được phát hành: (2016)

Precise parameter synthesis for stochastic biochemical systems
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2016)

Compositional Controller Synthesis for Stochastic Games
Bằng: Basset, N, et al.
Được phát hành: (2014)

Automated verification of concurrent stochastic games
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2018)

Model checking and strategy synthesis for stochastic games: from theory to practice
Bằng: Kwiatkowska, M
Được phát hành: (2016)

Strategy synthesis for partially observable stochastic games with neural perception mechanisms
Bằng: Kwiatkowska, M
Được phát hành: (2024)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
Bằng: Jovanovic, A, et al.
Được phát hành: (2014)

Parameter synthesis for probabilistic timed automata using stochastic game abstractions
Bằng: Jovanović, A, et al.
Được phát hành: (2017)

Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions
Bằng: Jovanović, A, et al.
Được phát hành: (2014)

Correlated equilibria and fairness in concurrent stochastic games
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2022)

Compositional strategy synthesis for stochastic games with multiple objectives
Bằng: Basset, N, et al.
Được phát hành: (2017)

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2017)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2020)

PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2016)

Synthesizing Pareto optimal decision for autonomic clouds using stochastic games model checking
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2018)

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems
Bằng: Češka, M, et al.
Được phát hành: (2016)

Multi-player equilibria verification for concurrent stochastic games
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2020)

Partially observable stochastic games with neural perception mechanisms
Bằng: Yan, R, et al.
Được phát hành: (2024)

Equilibria-based probabilistic model checking for concurrent stochastic games
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2019)

Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
Bằng: Basset, N, et al.
Được phát hành: (2014)

Symbolic verification and strategy synthesis for turn-based stochastic games
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2022)

Games calculators play /
Bằng: 224863 Judd, Wallace
Được phát hành: (1975)

Game playing with computers /
Bằng: 243736 Spencer, Donald D.
Được phát hành: (1975)

Verifying Team Formation Protocols with Probabilistic Model Checking
Bằng: Chen, T, et al.
Được phát hành: (2011)

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
Bằng: Yan, R, et al.
Được phát hành: (2022)