| Publication | Date of Publication | Type |
|---|
On lexicographic proof rules for probabilistic termination
Formal Aspects of Computing | 2024-09-25 | Paper |
Efficient Strategy Synthesis for MDPs With Resource Constraints
IEEE Transactions on Automatic Control | 2023-10-06 | Paper |
Quantum particle on dual weight lattice in even Weyl alcove
International Journal of Theoretical Physics | 2023-06-27 | Paper |
| On Lexicographic Proof Rules for Probabilistic Termination | 2023-04-21 | Paper |
On the Complexity of Value Iteration
(available as arXiv preprint) | 2022-07-21 | Paper |
Termination Analysis of Probabilistic Programs with Martingales
Foundations of Probabilistic Programming | 2021-02-16 | Paper |
Qualitative controller synthesis for consumption Markov decision processes
(available as arXiv preprint) | 2021-02-09 | Paper |
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Deciding fast termination for probabilistic VASS with nondeterminism
Automated Technology for Verification and Analysis | 2020-07-20 | Paper |
| Bidding games on Markov decision processes | 2019-10-22 | Paper |
Optimizing the expected mean payoff in energy Markov decision processes
(available as arXiv preprint) | 2018-10-25 | Paper |
Zero-reachability in probabilistic multi-counter automata
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Long-run average behaviour of probabilistic vector addition systems
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Long-run average behaviour of probabilistic vector addition systems
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Stability in graphs and games
(available as arXiv preprint) | 2018-03-21 | Paper |
Stochastic invariants for probabilistic termination
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
Solvency Markov decision processes with interest
(available as arXiv preprint) | 2017-02-21 | Paper |
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
Graded contractions of the Gell-Mann graded \(sl(3,\mathbb{C})\)
Journal of Mathematical Physics | 2014-04-07 | Paper |
Minimizing expected termination time in one-counter Markov decision processes
Automata, Languages, and Programming | 2012-11-01 | Paper |
Twisted cocycles of Lie algebras and corresponding invariant functions
Linear Algebra and its Applications | 2009-02-10 | Paper |
Span of Dold manifolds
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2009-01-22 | Paper |
On \((\alpha,\beta,\gamma)\)-derivations of Lie algebras and corresponding invariant functions
Journal of Geometry and Physics | 2008-03-11 | Paper |
| On associated algebras to a Lie algebra and their role in its identification | 2007-11-19 | Paper |
| scientific article; zbMATH DE number 5212734 (Why is no real title available?) | 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)\)
Journal of Geometry and Symmetry in Physics | 2007-01-03 | Paper |
Graded contractions of the Pauli graded \(\text{sl}(3,\mathbb C)\)
Linear Algebra and its Applications | 2006-12-07 | Paper |
