Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5919894): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Import241208061232 (talk | contribs)
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.nahs.2016.04.006 / rank
Normal rank
 
Property / arXiv ID
 
Property / arXiv ID: 1410.5387 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5322945 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5606989 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving Sequential Conditions by Finite-State Strategies / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4205072 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Temporal Logic Control of Discrete-Time Piecewise Affine Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: On synthesizing robust discrete controllers under modeling uncertainty / rank
 
Normal rank
Property / cites work
 
Property / cites work: A game-based abstraction-refinement framework for Markov decision processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4418864 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite Bisimulations for Switched Linear Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Synthesis using approximately bisimilar abstractions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verification, Model Checking, and Abstract Interpretation / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of probabilistic verification / rank
 
Normal rank
Property / cites work
 
Property / cites work: A survey of stochastic \(\omega \)-regular games / rank
 
Normal rank
Property / cites work
 
Property / cites work: Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4449227 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stochastic Games for Verification of Probabilistic Timed Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Language-guided controller synthesis for discrete-time linear systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Approximate Abstractions of Stochastic Hybrid Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Verification and Synthesis for Discrete-Time Stochastic Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid Systems: Computation and Control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reachability analysis of linear systems using support functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lagrangian methods for approximating the viability kernel in high-dimensional systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stochastic tube MPC with state estimation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Qualitative concurrent parity games / rank
 
Normal rank
Property / cites work
 
Property / cites work: Value Iteration / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.NAHS.2016.04.006 / rank
 
Normal rank

Latest revision as of 06:39, 18 December 2024

scientific article; zbMATH DE number 6664168
Language Label Description Also known as
English
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
scientific article; zbMATH DE number 6664168

    Statements

    Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    15 December 2016
    0 references
    logic control
    0 references
    linear stochastic system
    0 references
    temporal logic
    0 references
    abstraction refinement
    0 references
    games
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references