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.
RNDr. Petr Novotný, Ph.D. (IS), katedra: KTP, zdroj vazby: seznam
Články ve sbornících dle IS MU 2016–2020 (celkem A*: 1.833, A: 1.25, C: 1) Popis rankingu viz zde.| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| 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 | 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 ICALP | 2019 | On the Complexity of Value Iteration (DOI) | Novotný | Balaji, Kiefer, Pérez, Shirmohammadi | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik | Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019) |
| A ATVA | 2019 | Deciding Fast Termination for Probabilistic VASS with Nondeterminism (DOI) | Brázdil, Kučera, Novotný, Velan | Chatterjee | Springer | Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings |
| C RP | 2019 | Bidding Games on Markov Decision Processes (DOI) | Novotný | Avni, Henzinger, Ibsen-Jensen | Springer | Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings. |