Cost vs. time in stochastic games and Markov automata (Q2403526): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-016-0411-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2571463671
@@ Property / OpenAlex ID: W2571463671 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4943605
@@ Property / cites work: Q4943605 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Sequencing Tasks with Exponential Service Times to Minimize the Expected Flow Time or Makespan
+Normal rank
@@ Property / cites work @@
+Abstraction-Based Computation of Reward Measures for Markov Automata
+Normal rank
@@ Property / cites work @@
+Continuous-time stochastic games with time-bounded reachability
+Normal rank
@@ Property / cites work @@
+Q2754196
@@ Property / cites work: Q2754196 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086919
@@ Property / cites work: Q3086919 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Continuous Time Markov Decisions
@@ Property / cites work: Optimal Continuous Time Markov Decisions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical analysis of continuous time Markov decision processes over finite horizons
+Normal rank
@@ Property / cites work @@
+A Semantics for Every GSPN
@@ Property / cites work: A Semantics for Every GSPN / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Composition of Stochastic Transition Systems Based on Spans and Couplings
+Normal rank
@@ Property / cites work @@
+Analysis of Timed and Long-Run Objectives for Markov Automata
+Normal rank
@@ Property / cites work @@
+Modelling and Analysis of Markov Reward Automata
@@ Property / cites work: Modelling and Analysis of Markov Reward Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Cost vs. Time in Stochastic Games and Markov Automata
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Q3510491
@@ Property / cites work: Q3510491 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite State Continuous Time Markov Decision Processes with a Finite Planning Horizon
+Normal rank
@@ Property / cites work @@
+Q4464569
@@ Property / cites work: Q4464569 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Efficient Modelling and Generation of Markov Automata
+Normal rank
@@ Property / cites work @@
+Confluence Reduction for Markov Automata
@@ Property / cites work: Confluence Reduction for Markov Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes
+Normal rank