Publications

2024

• Tighter Construction of Tight Büchi Automata

  JANKOLA Marek STREJČEK Jan

  Paper 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

  Paper 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

  Peer-reviewed scientific article

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

2021

• Algebraic Language Theory for Eilenberg–Moore Algebras

  BLUMENSATH Achim

  Peer-reviewed scientific article

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

• DQBDD: An Efficient BDD-Based DQBF Solver

  SÍČ Juraj STREJČEK Jan

  Paper 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

  Paper 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

  Peer-reviewed scientific article

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

• Regular Tree Algebras

  BLUMENSATH Achim

  Peer-reviewed scientific article

  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

  Paper 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

  Paper in proceedings

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

2025

• Software Verification Witnesses 2.0

  AYAZIOVÁ Paulína BEYER Dirk LINGSCH-ROSENFELD Marian SPIESSL Martin STREJČEK Jan

  Paper in proceedings

  Model Checking Software - 30th International Symposium, SPIN 2024, year: 2025

2024

• Fizzer: New Gray-Box Fuzzer

  JONÁŠ Martin STREJČEK Jan TRTÍK Marek URBAN Lukáš

  Paper in proceedings

  Fundamental Approaches to Software Engineering - 27th International Conference, FASE 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, year: 2024

• Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage

  JONÁŠ Martin STREJČEK Jan TRTÍK Marek URBAN Lukáš

  Paper in proceedings

  Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 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 III, year: 2024

• Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution

  JONÁŠ Martin KUMOR Kristián NOVÁK Jakub SEDLÁČEK Jindřich TRTÍK Marek ZAORAL Lukáš AYAZIOVÁ Paulína STREJČEK Jan

  Paper in proceedings

  Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 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 III, year: 2024

• The satisfiability problem for a quantitative fragment of PCTL

  CHODIL Miroslav KUČERA Antonín

  Peer-reviewed scientific article

  Journal of Computer and System Sciences, year: 2024, volume: 139, edition: 103478, DOI

• Witch 3: Validation of Violation Witnesses in the Witness Format 2.0

  AYAZIOVÁ Paulína STREJČEK Jan

  Paper in proceedings

  Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 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 III, year: 2024

2023

• Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions

  AJDARÓW Michal KUČERA Antonín

  Paper in proceedings

  34th International Conference on Concurrency Theory (CONCUR 2023), year: 2023

• Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation

  AYAZIOVÁ Paulína STREJČEK Jan

  Paper in proceedings

  Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II, year: 2023

2022

• Case Study on Verification-Witness Validators: Where We Are and Where We Go

  BEYER Dirk STREJČEK Jan

  Paper in proceedings

  Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings, year: 2022

• Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge

  CHODIL Miroslav KUČERA Antonín KŘETÍNSKÝ Jan

  Paper in proceedings

  Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, year: 2022

2020

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

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

  Paper 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ří

  Paper in proceedings

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

2025

• Multiple Mean-Payoff Optimization Under Local Stability Constraints

  KLAŠKA David KUČERA Antonín KŮR Vojtěch MUSIL Vít ŘEHÁK Vojtěch

  Paper in proceedings

  Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 39 No. 25: AAAI-25 Technical Tracks 25, year: 2025

2024

• Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes

  KLAŠKA David KUČERA Antonín KŮR Vojtěch MUSIL Vít ŘEHÁK Vojtěch

  Paper in proceedings

  Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), year: 2024

2023

• Mean Payoff Optimization for Systems of Periodic Service and Maintenance

  KLAŠKA David KUČERA Antonín MUSIL Vít ŘEHÁK Vojtěch

  Paper in proceedings

  Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, year: 2023

• Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems

  KLAŠKA David KUČERA Antonín KUREČKA Martin MUSIL Vít NOVOTNÝ Petr ŘEHÁK Vojtěch

  Paper in proceedings

  Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, year: 2023

2022

• General Optimization Framework for Recurrent Reachability Objectives

  KLAŠKA David KUČERA Antonín MUSIL Vít ŘEHÁK Vojtěch

  Paper in proceedings

  Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, year: 2022

• Minimizing Expected Intrusion Detection Time in Adversarial Patrolling

  KLAŠKA David KUČERA Antonín MUSIL Vít ŘEHÁK Vojtěch

  Paper in proceedings

  21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022., year: 2022

2021

• Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games

  KLAŠKA David KUČERA Antonín ŘEHÁK Vojtěch MUSIL Vít

  Paper in proceedings

  Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021), year: 2021

2020

• Adversarial Patrolling with Drones

  KLAŠKA David KUČERA Antonín ŘEHÁK Vojtěch

  Paper in proceedings

  Proceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems, year: 2020

2018

• Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games

  KLAŠKA David KUČERA Antonín LAMSER Tomáš ŘEHÁK Vojtěch

  Paper in proceedings

  Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems, year: 2018

• Solving Patrolling Problems in the Internet Environment

  BRÁZDIL Tomáš KUČERA Antonín ŘEHÁK Vojtěch

  Paper in proceedings

  Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., year: 2018

2025

• Who Let the Guards Out: Visual Support for Patrolling Games

  LANG Matěj ŠTĚPÁNEK Adam ZVARA Róbert ŘEHÁK Vojtěch KOZLÍKOVÁ Barbora

  Peer-reviewed scientific article

  IEEE Transactions on Visualization and Computer Graphics, year: 2025, volume: 31, edition: 1, DOI