Petr Novotný

Available identifiers

zbMath Open novotny.petrMaRDI QIDQ855151

List of research outcomes

Publication	Date of Publication	Type
On lexicographic proof rules for probabilistic termination	2024-09-25	Paper
Efficient Strategy Synthesis for MDPs With Resource Constraints	2023-10-06	Paper
Quantum particle on dual weight lattice in even Weyl alcove	2023-06-27	Paper
On Lexicographic Proof Rules for Probabilistic Termination	2023-04-21	Paper
On the Complexity of Value Iteration	2022-07-21	Paper
Termination Analysis of Probabilistic Programs with Martingales	2021-02-16	Paper
Qualitative controller synthesis for consumption Markov decision processes	2021-02-09	Paper
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS	2021-01-20	Paper
Deciding Fast Termination for Probabilistic VASS with Nondeterminism	2020-07-20	Paper
Bidding games on Markov decision processes	2019-10-22	Paper
Optimizing the expected mean payoff in energy Markov decision processes	2018-10-25	Paper
Zero-reachability in probabilistic multi-counter automata	2018-04-23	Paper
Long-Run Average Behaviour of Probabilistic Vector Addition Systems	2018-04-23	Paper
Stability in Graphs and Games	2018-03-21	Paper
Stochastic invariants for probabilistic termination	2017-10-20	Paper
Solvency Markov Decision Processes with Interest	2017-02-21	Paper
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs	2016-10-24	Paper
Graded contractions of the Gell-Mann graded $sl(3,\mathbb {C})$sl(3,C)	2014-04-07	Paper
Minimizing Expected Termination Time in One-Counter Markov Decision Processes	2012-11-01	Paper
Twisted cocycles of Lie algebras and corresponding invariant functions	2009-02-10	Paper
Span of Dold manifolds	2009-01-22	Paper
On \((\alpha,\beta,\gamma)\)-derivations of Lie algebras and corresponding invariant functions	2008-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q5427117	2007-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q5427116	2007-11-19	Paper
On Orbits of the Ring $Z_n^m$ under the Action of the Group $SL(m,Z_n)$	2007-10-01	Paper
Associated Lie algebras and graded contractions of the Pauli graded \({\mathfrak {sl}}(3,\mathbb C)\)	2007-01-03	Paper
Graded contractions of the Pauli graded \(\text{sl}(3,\mathbb C)\)	2006-12-07	Paper

Research outcomes over time

This page was built for person: Petr Novotný