Filtry
Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications
Computer and information sciences
- 2020 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On Frequency LTL in Probabilistic Systems
IN - Informatika
- 2015 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Reachability in Recursive Markov Decision Processes
IN - Informatika
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Trading Performance for Stability in Markov Decision Processes
IN - Informatika
- 2013 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Modeling of marketing processes using markov decision process approach
Statistics and probability
- 2018 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On the Controller Synthesis for Finite-State Markov Decision Processes
IN - Informatika
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 z 21 488