The following pages link to Petr Novotný (Q855151):
Displaying 24 items.
- Associated Lie algebras and graded contractions of the Pauli graded \({\mathfrak {sl}}(3,\mathbb C)\) (Q855152) (← links)
- Graded contractions of the Pauli graded \(\text{sl}(3,\mathbb C)\) (Q855541) (← links)
- Twisted cocycles of Lie algebras and corresponding invariant functions (Q999816) (← links)
- Optimizing the expected mean payoff in energy Markov decision processes (Q1990496) (← links)
- Qualitative controller synthesis for consumption Markov decision processes (Q2226753) (← links)
- Bidding games on Markov decision processes (Q2330584) (← links)
- On \((\alpha,\beta,\gamma)\)-derivations of Lie algebras and corresponding invariant functions (Q2476131) (← links)
- Span of Dold manifolds (Q2519132) (← links)
- Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs (Q2828275) (← links)
- Solvency Markov Decision Processes with Interest (Q2963937) (← links)
- Minimizing Expected Termination Time in One-Counter Markov Decision Processes (Q3167006) (← links)
- Deciding Fast Termination for Probabilistic VASS with Nondeterminism (Q3297606) (← links)
- Stability in Graphs and Games (Q4608661) (← links)
- Zero-reachability in probabilistic multi-counter automata (Q4635605) (← links)
- Long-Run Average Behaviour of Probabilistic Vector Addition Systems (Q4635790) (← links)
- On the Complexity of Value Iteration (Q5091264) (← links)
- Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS (Q5145291) (← links)
- Termination Analysis of Probabilistic Programs with Martingales (Q5150951) (← links)
- Stochastic invariants for probabilistic termination (Q5370852) (← links)
- Graded contractions of the Gell-Mann graded $sl(3,\mathbb {C})$sl(3,C) (Q5407666) (← links)
- (Q5427116) (← links)
- (Q5427117) (← links)
- Efficient Strategy Synthesis for MDPs With Resource Constraints (Q6046744) (← links)
- Quantum particle on dual weight lattice in even Weyl alcove (Q6103941) (← links)
