Publications
Total number of publications: 76
2016

Stability in Graphs and Games
27th International Conference on Concurrency Theory, CONCUR 2016, year: 2016
2015

Cobra: A Tool for Solving General Deductive Games
Proceedings of 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015), year: 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
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
2013

ContinuousTime Stochastic Games with TimeBounded Reachability
Information and Computation, year: 2013, volume: 224, edition: 1, DOI

Determinacy in Stochastic Games with Unbounded Payoff Functions
Mathematical and Engineering Methods in Computer Science (MEMICS 2012), year: 2013

Trading Performance for Stability in Markov Decision Processes
Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), year: 2013
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