Mean-payoff optimization in continuous-time Markov chains with parametric alarms (Q6600073)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Mean-payoff optimization in continuous-time Markov chains with parametric alarms |
scientific article; zbMATH DE number 7908622
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mean-payoff optimization in continuous-time Markov chains with parametric alarms |
scientific article; zbMATH DE number 7908622 |
Statements
Mean-payoff optimization in continuous-time Markov chains with parametric alarms (English)
0 references
8 September 2024
0 references
Markov regenerative processes
0 references
parameter synthesis
0 references
generalized semi-Markov processes
0 references
non-Markovian distributions
0 references
semi-Markov decision processes
0 references
0 references
0 references
0 references