Permissive controller synthesis for probabilistic systems

Permissive controller synthesis for probabilistic systems

Show other versions (1)

We propose novel controller synthesis techniques for probabilistic systems modelled using stochastic two-player games: one player acts as a controller, the second represents its environment, and probability is used to capture uncertainty arising due to, for example, unreliable sensors or faulty s...

Bibliografske podrobnosti
Main Authors:	Dräger, K, Forejt, V, Kwiatkowska, M, Parker, D, Ujma, M
Format:	Journal article
Jezik:	English
Izdano:	2015

Podobne knjige/članki

Permissive controller synthesis for probabilistic systems
od: Dräger, K, et al.
Izdano: (2014)

On verification and controller synthesis for probabilistic systems at runtime
od: Ujma, M
Izdano: (2015)

Automated Verification Techniques for Probabilistic Systems.
od: Forejt, V, et al.
Izdano: (2011)

Quantitative Multi-objective Verification for Probabilistic Systems.
od: Forejt, V, et al.
Izdano: (2011)

INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS
od: Forejt, V, et al.
Izdano: (2012)

Local abstraction refinement for probabilistic timed programs
od: Dräger, K, et al.
Izdano: (2013)

Efficient Probabilistic Parameter Synthesis for Adaptive Systems
od: Chen, T, et al.
Izdano: (2013)

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

Compositional Verification of Probabilistic Systems using Learning
od: Feng, L, et al.
Izdano: (2010)

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

Permissive metaepistemology
od: Thorstad, D
Izdano: (2018)

Abstraction Refinement for Probabilistic Software
od: Kwiatkowska, G, et al.
Izdano: (2009)

PRISM 4.0: Verification of probabilistic real-time systems
od: Kwiatkowska, M, et al.
Izdano: (2011)

Learning−based Compositional Verification for Synchronous Probabilistic Systems
od: Feng, L, et al.
Izdano: (2011)

Is abortion permissible?
od: Nah, Benji Jia Wei
Izdano: (2023)

Permission to win /
od: 386645 Pelletier, Ray
Izdano: (1997)

Probabilistic model checking and autonomy
od: Kwiatkowska, M, et al.
Izdano: (2021)

RODES: A robust-design synthesis tool for probabilistic systems
od: Calinescu, R, et al.
Izdano: (2017)

Probabilistic mobile ambients
od: Kwiatkowska, M, et al.
Izdano: (2009)

Automatic Verification of Competitive Stochastic Systems.
od: Chen, T, et al.
Izdano: (2012)

Automatic Verification of Competitive Stochastic Systems
od: Chen, T, et al.
Izdano: (2011)

Automatic Verification of Competitive Stochastic Systems
od: Chen, T, et al.
Izdano: (2012)

Automated Learning of Probabilistic Assumptions for Compositional Reasoning
od: Feng, L, et al.
Izdano: (2011)

The Satisfiability Problem for Probabilistic CTL.
od: Brázdil, T, et al.
Izdano: (2008)

Branching-Time Model-Checking of Probabilistic Pushdown Automata.
od: Brázdil, T, et al.
Izdano: (2009)

Capitalism and the permissive society /
od: 443395 Brittan, Samuel
Izdano: (1973)

Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata
od: Jovanovic, A, et al.
Izdano: (2017)

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

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

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

Game−Based Probabilistic Predicate Abstraction in PRISM
od: Kattenbelt, M, et al.
Izdano: (2008)

Game−Based Probabilistic Predicate Abstraction in PRISM
od: Kattenbelt, M, et al.
Izdano: (2008)

Verifying Team Formation Protocols with Probabilistic Model Checking
od: Chen, T, et al.
Izdano: (2011)

Synchronic requirements and diachronic permissions
od: Broome, J
Izdano: (2015)

The permissibility of cannibalism in contemporary society
od: Tay, Si Min
Izdano: (2019)

The use of conditions in planning permissions /
od: Great Britain. Department of the Environment, et al.
Izdano: (1985)

Ethics in a permissive society/
od: 426484 Barclay, William
Izdano: (1971)

Notes on the need for planning permission/
od: 445674 James, David Elidyr Howell
Izdano: (1977)

Game characterization of probabilistic bisimilarity, and applications to pushdown automata
od: Forejt, V, et al.
Izdano: (2018)

Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
od: Su, Rong., et al.
Izdano: (2013)