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 Risk-Constrained Policies in Markov Decision Processes
The Thirty-Fourth 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 11-13, 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
-
Mean-Payoff Optimization in Continuous-Time 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 finite-state 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 Monadic-Second Order Logic in the Finite
45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 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 6-11, 2024, Proceedings, Part I, year: 2024
2023
-
Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving
26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy, year: 2023
-
The Power-Set 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 BDD-Based DQBF Solver
Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings, year: 2021
-
ω-Forest Algebras and Temporal Logics
46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia, year: 2021
2020
-
Bisimulation invariant monadic-second 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 Monadic-Second Order Logic in the Finite
45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 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 17-20, 2016, Orleans, France, year: 2016
Total number of publications: 53
2015
-
Long-Run Average Behaviour of Probabilistic Vector Addition Systems
30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015., year: 2015
-
MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff 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 11-18, 2015. Proceedings., year: 2015
-
On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS
Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 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
-
Branching-time model-checking 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 Long-Run 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
-
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), year: 2014
2013
-
Approximating the termination value of one-counter MDPs and stochastic games
Information and Computation, year: 2013, volume: 222, edition: January, DOI
Total number of publications: 2
2020
-
Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications
Proceedings of the International Conference on Automated Planning and Scheduling, year: 2020
-
Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes
The Thirty-Fourth 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