Publications
Total number of publications: 76
2020

Regular Tree Algebras
Logical Methods in Computer Science, year: 2020, volume: 16, edition: 1, DOI

Reinforcement Learning of RiskConstrained Policies in Markov Decision Processes
The ThirtyFourth AAAI Conference on Artificial Intelligence, AAAI 2020, year: 2020

Termination Analysis of Probabilistic Programs with Martingales
Foundations of Probabilistic Programming, year: 2020, number of pages: 38 s.
2019

Bidding Games on Markov Decision Processes
Reachability Problems  13th International Conference, RP 2019, Brussels, Belgium, September 1113, 2019, Proceedings., year: 2019

Deciding Fast Termination for Probabilistic VASS with Nondeterminism
Automated Technology for Verification and Analysis  17th International Symposium, ATVA 2019, Proceedings, year: 2019

MeanPayoff Optimization in ContinuousTime Markov Chains with Parametric Alarms
ACM Transactions on Modeling and Computer Simulation (TOMACS), year: 2019, volume: 29, edition: 4, DOI

On the Complexity of Value Iteration
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), year: 2019
2018

A generic framework for checking semantic equivalences between pushdown automata and finitestate automata
Journal of Computer and System Sciences, year: 2018, volume: 91, edition: 1, DOI

Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games
Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems, year: 2018

Bisimulation Invariant MonadicSecond Order Logic in the Finite
45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 913, 2018, Prague, Czech Republic, year: 2018
Total number of publications: 10
2024

Tighter Construction of Tight Büchi Automata
Foundations of Software Science and Computation Structures  27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 611, 2024, Proceedings, Part I, year: 2024
2023

Reducing Acceptance Marks in EmersonLei Automata by QBF Solving
26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 48, 2023, Alghero, Italy, year: 2023

The PowerSet Construction for Tree Algebras
LOGICAL METHODS IN COMPUTER SCIENCE, year: 2023, volume: 19, edition: 4, DOI
2021

Algebraic Language Theory for Eilenberg–Moore Algebras
Logical Methods in Computer Science, year: 2021, volume: 17, edition: 2, DOI

DQBDD: An Efficient BDDBased DQBF Solver
Theory and Applications of Satisfiability Testing  SAT 2021  24th International Conference, Barcelona, Spain, July 59, 2021, Proceedings, year: 2021

ωForest Algebras and Temporal Logics
46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 2327, 2021, Tallinn, Estonia, year: 2021
2020

Bisimulation invariant monadicsecond order logic in the finite
Theoretical Computer Science, year: 2020, volume: 823, edition: 1, DOI

Regular Tree Algebras
Logical Methods in Computer Science, year: 2020, volume: 16, edition: 1, DOI
2018

Bisimulation Invariant MonadicSecond Order Logic in the Finite
45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 913, 2018, Prague, Czech Republic, year: 2018
2016

On a Fragment of AMSO and Tiling Systems
33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 1720, 2016, Orleans, France, year: 2016
Total number of publications: 53
2015

LongRun Average Behaviour of Probabilistic Vector Addition Systems
30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 610, 2015., year: 2015

MultiGain: A Controller Synthesis Tool for MDPs with Multiple MeanPayoff Objectives
Tools and Algorithms for the Construction and Analysis of Systems  21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 1118, 2015. Proceedings., year: 2015

On the Existence and Computability of LongRun Average Properties in Probabilistic VASS
Fundamentals of Computation Theory  20th International Symposium, FCT 2015, Gdańsk, Poland, August 1719, 2015, Proceedings., year: 2015

Runtime analysis of probabilistic programs with unbounded recursion
Journal of Computer and System Sciences, year: 2015, volume: 81, edition: 1, DOI
2014

Branchingtime modelchecking of probabilistic pushdown automata
Journal of Computer and System Sciences, year: 2014, volume: 80, edition: 1, DOI

Efficient Analysis of Probabilistic Programs with an Unbounded Counter
Journal of the ACM, year: 2014, volume: 61, edition: 6, DOI

Markov Decision Processes with Multiple LongRun Average Objectives
Logical Methods in Computer Science, year: 2014, volume: 10, edition: 1, DOI

Minimizing Running Costs in Consumption Systems
Computer Aided Verification, year: 2014

Zeroreachability in probabilistic multicounter automata
Proceedings of the Joint Meeting of the TwentyThird EACSL Annual Conference on Computer Science Logic (CSL) and the TwentyNinth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2014
2013

Approximating the termination value of onecounter MDPs and stochastic games
Information and Computation, year: 2013, volume: 222, edition: January, DOI
Total number of publications: 2
2020

MultipleEnvironment Markov Decision Processes: Efficient Analysis and Applications
Proceedings of the International Conference on Automated Planning and Scheduling, year: 2020

Reinforcement Learning of RiskConstrained Policies in Markov Decision Processes
The ThirtyFourth AAAI Conference on Artificial Intelligence, AAAI 2020, year: 2020
Total number of publications: 11
2014

Solving adversarial patrolling games with bounded error: (extended abstract)
Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14), year: 2014