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

2018

• A generic framework for checking semantic equivalences between pushdown automata and finite-state automata

  KUČERA Antonín MAYR Richard

  Article in Periodical

  Journal of Computer and System Sciences, year: 2018, volume: 91, edition: 1, DOI

• Black Ninjas in the Dark: Formal Analysis of Population Protocols

  BLONDIN Michael ESPARZA Javier JAAX Stefan KUČERA Antonín

  Article in Proceedings

  2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2018

• Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS

  BRÁZDIL Tomáš CHATTERJEE Krishnendu KUČERA Antonín NOVOTNÝ Petr VELAN Dominik ZULEGER Florian

  Article in Proceedings

  2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), year: 2018

2017

• Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

  BAIER Christel DUBSLAFF Clemens KORENČIAK Ľuboš KUČERA Antonín ŘEHÁK Vojtěch

  Article in Proceedings

  Quantitative Evaluation of Systems, year: 2017

• Synthesis of Optimal Resilient Control Strategies

  BAIER Christel DUBSLAFF Clemens KORENČIAK Ľuboš KUČERA Antonín ŘEHÁK Vojtěch

  Article in Proceedings

  Automated Technology for Verification and Analysis, year: 2017

• Trading performance for stability in Markov decision processes

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

  Article in Periodical

  Journal of Computer and System Sciences, year: 2017, volume: 84, edition: 2017, DOI

2016

• Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration

  KORENČIAK Ľuboš KUČERA Antonín ŘEHÁK Vojtěch

  Article in Proceedings

  2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, year: 2016

• Optimizing the Expected Mean Payoff in Energy Markov Decision Processes

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

  Article in Proceedings

  Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, year: 2016

• Stability in Graphs and Games

  BRÁZDIL Tomáš FOREJT Vojtěch KUČERA Antonín NOVOTNÝ Petr

  Article in Proceedings

  27th International Conference on Concurrency Theory, CONCUR 2016, year: 2016

2015

• Cobra: A Tool for Solving General Deductive Games

  KLIMOŠ Miroslav KUČERA Antonín

  Article in Proceedings

  Proceedings of 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015), year: 2015

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