Podklady pro hodnocení kateder na základě článků v impaktovaných časopisech ohodnocených podle pozice časopisu v oborovém žebříčku dle JCR a konferenčních příspěvků ohodnocených dle interních pravidel. Jde o výsledky vykázané za FI nebo s deklarovaným podílem FI (konkrétní výše podílu není nijak zohledněna).
Hodnoty výsledků dělím rovným dílem mezi domácí autory s vazbou k jedné z kateder. Základem pro rozřazení autorů ke katedrám je seznam zaměstnanců kateder. Doktorandi jsou řazeni na katedru svého školitele, ze zbylých domácích autorů jsou ti, kteří mají spoluautory pouze z jedné katedry, zařazeni na tuto katedru, z ostatních jsou ti s významnějším přínosem zařazeni ručně (např. magisterští studenti dle vedoucího DP), podíl těch s marginálním přínosem je rozdělen mezi jejich spoluautory.
doc. RNDr. Petr Novotný, Ph.D. (IS), katedra: KTP, zdroj vazby: seznam
Články v impaktovaných časopisech dle IS MU 2020–2024 (celkem 0.982)Hodnota se počítá jako (Nmax - N + 1) / N, kde Nmax je počet časopisů v kategorii a N pořadí časopisu dle IF. Při zařazení časopisu do více kategorií nebo shodě IF se bere průměr. Najetím myší na hodnotu se zobrazí pořadí v oborových žebříčcích daného ročníku JCR (pro 2024 JCR2023; JCR2024 ještě nevyšlo), odkaz vede na stránku časopisu v JCR (oborové žebříčky tam jsou pod odkazem Rank), funguje ale jen z IP adres MU a je potřeba kliknout alespoň dvakrát, první přístup pouze inicializuje session.
| hodnota | díl autora | rok | title | započítaní | ostatní |
|---|---|---|---|---|---|
| 0.851 | 0.851 | 2023 | Efficient Strategy Synthesis for MDPs With Resource Constraints (DOI) | Novotný | Blahoudek, Ornik, Thangeda, Topcu |
| 0.262 | 0.131 | 2023 | On Lexicographic Proof Rules for Probabilistic Termination (DOI) | Novotný, Zárevúcky | Chatterjee, Goharshady, Žikelić |
| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| A* PLDI | 2024 | Equivalence and Similarity Refutation for Probabilistic Programs (DOI) | Novotný | Chatterjee, Goharshady, Žikelić | ACM | Proceedings of the ACM on Programming Languages, Volume 8, Issue ACM SIGPLAN Conference on Programming Languages Design and Implementation (PLDI 2024) |
| A* IJCAI | 2024 | Solving Long-run Average Reward Robust MDPs via Stochastic Games (DOI) | Novotný | Chatterjee, Goharshady, Karrabi, Žikelić | ijcai.org | Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI} 2024, Jeju, South Korea, August 3-9, 2024 |
| A* AAAI | 2023 | Shielding in Resource-Constrained Goal POMDPs (DOI) | Ajdarów, Brlej, Novotný | AAAI Press | Proceedings of the 37th AAAI Conference on Artificial Intelligence | |
| A* IJCAI | 2023 | Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems (DOI) | Klaška, Kučera, Kurečka, Musil, Novotný, Řehák | International Joint Conferences on Artificial Intelligence | Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, | |
| A* PLDI | 2021 | Proving non-termination by program reversal (DOI) | Novotný | Chatterjee, Goharshady, Žikelić | ACM | Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) |
| A* AAAI | 2020 | Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes (DOI) | Brázdil, Novotný, Vahala | Chatterjee | AAAI Press | The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020 |
| A* ICAPS | 2020 | Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications (URL) | Novotný | Chatterjee, Chmelík, Karkhanis, Royer | AAAI Press | Proceedings of the International Conference on Automated Planning and Scheduling |
| A* CAV | 2020 | Qualitative Controller Synthesis for Consumption Markov Decision Processes (DOI) | Brázdil, Novotný | Blahoudek, Ornik, Thangeda, Topcu | Springer | Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II} |
| A UAI | 2022 | On-the-fly Adaptation of Patrolling Strategies in Changing Environments (URL) | Brázdil, Klaška, Kučera, Musil, Novotný, Řehák | Proceedings of Machine Learning Research | Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022 | |
| A FM | 2021 | On Lexicographic Proof Rules for Probabilistic Termination (DOI) | Novotný, Zárevúcky | Chatterjee, Goharshady, Žikelić | Springer | 24th International Symposium on Formal Methods, FM 2021 |
| A FM | 2021 | Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption (DOI) | Novotný | Blahoudek, Cubuktepe, Ornik, Thangeda, Topcu | Springer | 24th International Symposium on Formal Methods, FM 2021 |