Publications

2024

• Tighter Construction of Tight Büchi Automata

  JANKOLA Marek STREJČEK Jan

  Article in Proceedings

  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

  SCHWARZOVÁ Tereza STREJČEK Jan MAJOR Juraj

  Article in Proceedings

  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

  BLUMENSATH Achim

  Article in Periodical

  LOGICAL METHODS IN COMPUTER SCIENCE, year: 2023, volume: 19, edition: 4, DOI

2021

• Algebraic Language Theory for Eilenberg–Moore Algebras

  BLUMENSATH Achim

  Article in Periodical

  Logical Methods in Computer Science, year: 2021, volume: 17, edition: 2, DOI

• DQBDD: An Efficient BDD-Based DQBF Solver

  SÍČ Juraj STREJČEK Jan

  Article in Proceedings

  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

  BLUMENSATH Achim LÉDL Jakub

  Article in Proceedings

  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

  BLUMENSATH Achim WOLF Felix

  Article in Periodical

  Theoretical Computer Science, year: 2020, volume: 823, edition: 1, DOI

• Regular Tree Algebras

  BLUMENSATH Achim

  Article in Periodical

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

2018

• Bisimulation Invariant Monadic-Second Order Logic in the Finite

  BLUMENSATH Achim WOLF Felix

  Article in Proceedings

  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

  BLUMENSATH Achim COLCOMBET Thomas PARYS Pawel

  Article in Proceedings

  33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orleans, France, year: 2016

2013

• Continuous-Time Stochastic Games with Time-Bounded Reachability

  BRÁZDIL Tomáš FOREJT Vojtěch KRČÁL Jan KŘETÍNSKÝ Jan KUČERA Antonín

  Article in Periodical

  Information and Computation, year: 2013, volume: 224, edition: 1, DOI

• Determinacy in Stochastic Games with Unbounded Payoff Functions

  BRÁZDIL Tomáš KUČERA Antonín NOVOTNÝ Petr

  Article in Proceedings

  Mathematical and Engineering Methods in Computer Science (MEMICS 2012), year: 2013

• Trading Performance for Stability in Markov Decision Processes

  BRÁZDIL Tomáš CHATTERJEE Krishnendu FOREJT Vojtěch KUČERA Antonín

  Article in Proceedings

  Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), year: 2013

2020

• Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications

  CHATTERJEE Krishnendu CHMELÍK Martin KARKHANIS Deep NOVOTNÝ Petr ROYER Amélie

  Article in Proceedings

  Proceedings of the International Conference on Automated Planning and Scheduling, year: 2020

• Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes

  BRÁZDIL Tomáš CHATTERJEE Krishnendu NOVOTNÝ Petr VAHALA Jiří

  Article in Proceedings

  The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, year: 2020

2014

• Solving adversarial patrolling games with bounded error: (extended abstract)

  ABAFFY Michal BRÁZDIL Tomáš ŘEHÁK Vojtěch BOŠANSKÝ Branislav KUČERA Antonín KRČÁL Jan

  Article in Proceedings

  Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14), year: 2014