Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games (Q766176): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Model-checking continuous-time Markov chains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4270055 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3241581 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Numerical analysis of continuous time Markov decision processes over finite horizons / rank
 
Normal rank
Property / cites work
 
Property / cites work: Continuous Time Discounted Jump Markov Decision Processes: A Discrete-Event Approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: Zero-sum games for continuous-time Markov chains with unbounded transition and average payoff rates / rank
 
Normal rank
Property / cites work
 
Property / cites work: Zero-sum continuous-time Markov games with unbounded transition and discounted payoff rates / rank
 
Normal rank
Property / cites work
 
Property / cites work: Zero-sum games for continuous-time jump Markov processes in Polish spaces: discounted payoffs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interactive Markov chains. And the quest for quantified quality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite State Continuous Time Markov Decision Processes with a Finite Planning Horizon / rank
 
Normal rank
Property / cites work
 
Property / cites work: Delayed Nondeterminism in Continuous-Time Markov Decision Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4315289 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games / rank
 
Normal rank
Property / cites work
 
Property / cites work: Optimal time-abstract schedulers for CTMDPs and continuous-time Markov games / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4324960 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Optimality of the shortest line discipline / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model Checking Interactive Markov Chains / rank
 
Normal rank

Latest revision as of 01:14, 5 July 2024

scientific article
Language Label Description Also known as
English
Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games
scientific article

    Statements

    Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games (English)
    0 references
    0 references
    0 references
    23 March 2012
    0 references
    The main objective of this paper is to study a time bounded reachability problem. It is shown that there exist an optimal control that enjoys a simple structure, i.e., it is deterministic and depends only on the remaining time.
    0 references
    0 references
    0 references
    0 references
    0 references
    continuous time Markov decision process
    0 references
    zero-sum Markov game
    0 references
    optimal scheduling
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references