Petr Novotný

Available identifiers

zbMath Open novotny.petrMaRDI QIDQ855151

List of research outcomes

Publication	Date of Publication	Type
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/Q5427116	2007-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q5427117	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Petr Novotný