Filtry
Risk-Sensitive Optimality in Markov Games
Applied Economics, Econometrics
- 2017 •
- D
Rok uplatnění
D - Stať ve sborníku
Mathematical modelling of selected problems in civil engineering
Pure mathematics
- 2010 •
- 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
Bonus-malus Systems: Theory and Practice
BB - Aplikovaná statistika, operační výzkum
- 2011 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
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
Analyzing probabilistic pushdown automata
IN - Informatika
- 2013 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Branching-time model-checking of probabilistic pushdown automata
IN - Informatika
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
An application of Markov chains in digital communication
Pure mathematics
- 2015 •
- JSC •
- Odkaz
Rok uplatnění
JSC - Článek v periodiku v databázi SCOPUS
Výsledek na webu
Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Traffic speed prediction using hidden markov models for Czech Republic highways
IN - Informatika
- 2016 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 z 2 528