×
Author ID: novotny.petr Recent zbMATH articles by "Novotný, Petr"
Published as: Novotný, Petr; Novotný, P.
External Links: MGP
Documents Indexed: 27 Publications since 2006, including 1 Additional arXiv Preprint
Co-Authors: 30 Co-Authors with 25 Joint Publications
848 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 99 times in 70 Documents Cited by Year
On \((\alpha,\beta,\gamma)\)-derivations of Lie algebras and corresponding invariant functions. Zbl 1162.17014
Novotný, Petr; Hrivnák, Jiří
26
2008
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. Zbl 1347.68075
Chatterjee, Krishnendu; Fu, Hongfei; Novotný, Petr; Hasheminezhad, Rouzbeh
12
2016
Stochastic invariants for probabilistic termination. Zbl 1380.68114
Chatterjee, Krishnendu; Novotný, Petr; Žikelić, Đorđe
11
2017
Graded contractions of the Pauli graded \(\text{sl}(3,\mathbb C)\). Zbl 1161.17305
Hrivnák, J.; Novotný, P.; Patera, J.; Tolář, J.
10
2006
Efficient algorithms for asymptotic bounds on termination time in VASS. Zbl 1497.68328
Brázdil, Tomáš; Chatterjee, Krishnendu; Kučera, Antonín; Novotný, Petr; Velan, Dominik; Zuleger, Florian
6
2018
Twisted cocycles of Lie algebras and corresponding invariant functions. Zbl 1215.17013
Hrivnák, Jiří; Novotný, Petr
6
2009
Termination analysis of probabilistic programs with martingales. Zbl 07311047
Chatterjee, Krishnendu; Fu, Hongfei; Novotný, Petr
4
2021
Zero-reachability in probabilistic multi-counter automata. Zbl 1401.68151
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr; Katoen, Joost-Pieter
4
2014
Long-run average behaviour of probabilistic vector addition systems. Zbl 1392.68284
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr
4
2015
Minimizing expected termination time in one-counter Markov decision processes. Zbl 1367.68162
Brázdil, Tomáš; Kučera, Antonín; Novotný, Petr; Wojtczak, Dominik
3
2012
Bidding games on Markov decision processes. Zbl 1455.91054
Avni, Guy; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Novotný, Petr
2
2019
On the dual Stiefel-Whitney classes of some Grassmann manifolds. Zbl 1199.57015
Korbaš, J.; Novotný, P.
2
2009
On the complexity of value iteration. Zbl 07561595
Balaji, Nikhil; Kiefer, Stefan; Novotný, Petr; Pérez, Guillermo A.; Shirmohammadi, Mahsa
2
2019
Stability in graphs and games. Zbl 1392.68213
Brázdil, Tomáš; Forejt, Vojtěch; Kučera, Antonín; Novotný, Petr
2
2016
Optimizing the expected mean payoff in energy Markov decision processes. Zbl 1398.68078
Brázdil, Tomáš; Kučera, Antonín; Novotný, Petr
2
2016
Qualitative controller synthesis for consumption Markov decision processes. Zbl 1481.93035
Blahoudek, František; Brázdil, Tomáš; Novotný, Petr; Ornik, Melkior; Thangeda, Pranay; Topcu, Ufuk
1
2020
Deciding fast termination for probabilistic VASS with nondeterminism. Zbl 1437.68127
Brázdil, Tomáš; Chatterjee, Krishnendu; Kučera, Antonín; Novotný, Petr; Velan, Dominik
1
2019
On lexicographic proof rules for probabilistic termination. Zbl 1521.68034
Chatterjee, Krishnendu; Goharshady, Ehsan Kafshdar; Novotný, Petr; Zárevúcky, Jiří; Žikelić, Đorđe
1
2021
Solvency Markov decision processes with interest. Zbl 1360.91091
Brázdil, Tomáš; Chen, Taolue; Forejt, Vojtěch; Novotný, Petr; Simaitis, Aistis
1
2013
On associated algebras to a Lie algebra and their role in its identification. Zbl 1161.17307
Novotný, P.; Hrivnák, J.
1
2006
Span of Dold manifolds. Zbl 1161.57016
Novotný, Peter
1
2008
Termination analysis of probabilistic programs with martingales. Zbl 07311047
Chatterjee, Krishnendu; Fu, Hongfei; Novotný, Petr
4
2021
On lexicographic proof rules for probabilistic termination. Zbl 1521.68034
Chatterjee, Krishnendu; Goharshady, Ehsan Kafshdar; Novotný, Petr; Zárevúcky, Jiří; Žikelić, Đorđe
1
2021
Qualitative controller synthesis for consumption Markov decision processes. Zbl 1481.93035
Blahoudek, František; Brázdil, Tomáš; Novotný, Petr; Ornik, Melkior; Thangeda, Pranay; Topcu, Ufuk
1
2020
Bidding games on Markov decision processes. Zbl 1455.91054
Avni, Guy; Henzinger, Thomas A.; Ibsen-Jensen, Rasmus; Novotný, Petr
2
2019
On the complexity of value iteration. Zbl 07561595
Balaji, Nikhil; Kiefer, Stefan; Novotný, Petr; Pérez, Guillermo A.; Shirmohammadi, Mahsa
2
2019
Deciding fast termination for probabilistic VASS with nondeterminism. Zbl 1437.68127
Brázdil, Tomáš; Chatterjee, Krishnendu; Kučera, Antonín; Novotný, Petr; Velan, Dominik
1
2019
Efficient algorithms for asymptotic bounds on termination time in VASS. Zbl 1497.68328
Brázdil, Tomáš; Chatterjee, Krishnendu; Kučera, Antonín; Novotný, Petr; Velan, Dominik; Zuleger, Florian
6
2018
Stochastic invariants for probabilistic termination. Zbl 1380.68114
Chatterjee, Krishnendu; Novotný, Petr; Žikelić, Đorđe
11
2017
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. Zbl 1347.68075
Chatterjee, Krishnendu; Fu, Hongfei; Novotný, Petr; Hasheminezhad, Rouzbeh
12
2016
Stability in graphs and games. Zbl 1392.68213
Brázdil, Tomáš; Forejt, Vojtěch; Kučera, Antonín; Novotný, Petr
2
2016
Optimizing the expected mean payoff in energy Markov decision processes. Zbl 1398.68078
Brázdil, Tomáš; Kučera, Antonín; Novotný, Petr
2
2016
Long-run average behaviour of probabilistic vector addition systems. Zbl 1392.68284
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr
4
2015
Zero-reachability in probabilistic multi-counter automata. Zbl 1401.68151
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr; Katoen, Joost-Pieter
4
2014
Solvency Markov decision processes with interest. Zbl 1360.91091
Brázdil, Tomáš; Chen, Taolue; Forejt, Vojtěch; Novotný, Petr; Simaitis, Aistis
1
2013
Minimizing expected termination time in one-counter Markov decision processes. Zbl 1367.68162
Brázdil, Tomáš; Kučera, Antonín; Novotný, Petr; Wojtczak, Dominik
3
2012
Twisted cocycles of Lie algebras and corresponding invariant functions. Zbl 1215.17013
Hrivnák, Jiří; Novotný, Petr
6
2009
On the dual Stiefel-Whitney classes of some Grassmann manifolds. Zbl 1199.57015
Korbaš, J.; Novotný, P.
2
2009
On \((\alpha,\beta,\gamma)\)-derivations of Lie algebras and corresponding invariant functions. Zbl 1162.17014
Novotný, Petr; Hrivnák, Jiří
26
2008
Span of Dold manifolds. Zbl 1161.57016
Novotný, Peter
1
2008
Graded contractions of the Pauli graded \(\text{sl}(3,\mathbb C)\). Zbl 1161.17305
Hrivnák, J.; Novotný, P.; Patera, J.; Tolář, J.
10
2006
On associated algebras to a Lie algebra and their role in its identification. Zbl 1161.17307
Novotný, P.; Hrivnák, J.
1
2006
all top 5

Cited by 137 Authors

5 Chatterjee, Krishnendu
5 Katoen, Joost-Pieter
5 Novotný, Petr
4 Escobar, José María
4 Henzinger, Thomas A.
4 Hrivnák, Jiří
4 Kaygorodov, Ivan
4 Núñez-Valdés, Juan
4 Pérez-Fernández, Pedro
4 Randour, Mickael
3 Alvarez, María Alejandra
3 Křetínský, Jan
3 Park, Choonkil
3 Žikelić, {D}or{d}e
3 Zuleger, Florian
2 Abdulla, Parosh Aziz
2 Avni, Guy
2 Bartocci, Ezio
2 Dal Lago, Ugo
2 Eshaghi Gordji, Madjid
2 García-Delgado, Rosendo
2 Giesl, Jürgen
2 Grellois, Charles
2 Hark, Marcel
2 Hernández, Isabel
2 Hsu, Justin
2 Kaminski, Benjamin Lucien
2 Klinkenberg, Lutz
2 Kovács, Laura Ildikó
2 Kucera, Antonin
2 Leutgeb, Lorenz
2 Mayr, Richard M.
2 Meggendorfer, Tobias
2 Moosbrugger, Marcel
2 Moser, Georg
2 Otop, Jan
2 Popovych, Dmytro R.
2 Raskin, Jean-François
2 Saadaoui, Nejib
2 Saadati, Reza
2 Sproston, Jeremy
2 Weininger, Maximilian
2 Winkler, Tobias
2 Wojtczak, Dominik
1 Abate, Alessandro
1 Agarwal, Raj Aryan
1 Aguirre, Alejandro
1 Atig, Mohamed Faouzi
1 Baier, Christel
1 Bao, Jialu
1 Barthe, Gilles
1 Batz, Kevin
1 Brázdil, Tomáš
1 Brihaye, Thomas
1 Bruyère, Véronique
1 Chang, Hongliang
1 Chen, Liangyun
1 Chen, Mingshuai
1 Chen, Yin
1 Cho, Yeol Je
1 Ciobanu, Radu
1 Czyżycki, Tomasz
1 Delgrange, Florent
1 Dorado-Aguilar, Emmanuel
1 Dubslaff, Clemens
1 Eisentraut, Julia
1 Etessami, Kousha
1 Fan, Guangzhe
1 Fu, Jianling
1 Ghobadipour, Norouz
1 Giacobbe, Mirco
1 Giesl, Peter
1 Godbole, Adwait Amit
1 Goharshady, Amir Kafshdar
1 Goharshady, Ehsan Kafshdar
1 Hautem, Quentin
1 Hoffmann, Jan-Philipp
1 Hofmann, Martin
1 Hong, Yanyong
1 Huang, Chengchao
1 Huang, Nan
1 Jin, Yuanfeng
1 Jmaa, Torkia Ben
1 Kelmendi, Edon
1 Kobayashi, Naoki
1 Krähmann, Daniel
1 Lee, Jung-Rye
1 Li, Ying
1 Li, Yong
1 Lu, Gang
1 Main, James C. A.
1 Makhlouf, Abdenacer
1 Martínez-Sigala, Esmeralda
1 Matheja, Christoph
1 Mei, Jingyi
1 Meyer, Fabian
1 Moerman, Joshua
1 Nădăban, Sorin-Florin
1 Nesterenko, Maryna O.
1 Obwaller, David
...and 37 more Authors

Citations by Year