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

2022

• Symbiotic-Witch: A Klee-Based Violation Witness Checker

  AYAZIOVÁ Paulína CHALUPA Marek STREJČEK Jan

  Article in Proceedings

  Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, year: 2022

2021

• Algorithmic Analysis of Termination and Counter Complexity in Vector Addition Systems with States: A Survey of Recent Results

  KUČERA Antonín

  Article in Periodical

  ACM SIGLOG News, year: 2021, volume: 8, edition: 4, DOI

• Backward Symbolic Execution with Loop Folding

  CHALUPA Marek STREJČEK Jan

  Article in Proceedings

  Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings, year: 2021

• Deciding Polynomial Termination Complexity for VASS Programs

  AJDARÓW Michal KUČERA Antonín

  Article in Proceedings

  32nd International Conference on Concurrency Theory (CONCUR 2021), year: 2021

• Fast Computation of Strong Control Dependencies

  CHALUPA Marek KLAŠKA David STREJČEK Jan TOMOVIČ Lukáš

  Article in Proceedings

  Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, year: 2021

• Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption

  BLAHOUDEK František CUBUKTEPE Murat NOVOTNÝ Petr ORNIK Melkior THANGEDA Pranay TOPCU Ufuk

  Article in Proceedings

  24th International Symposium on Formal Methods, FM 2021, year: 2021

• On Lexicographic Proof Rules for Probabilistic Termination

  CHATTERJEE Krishnendu GOHARSHADY Ehsan Kafshdar NOVOTNÝ Petr ZÁREVÚCKY Jiří ŽIKELIĆ Djordje

  Article in Proceedings

  24th International Symposium on Formal Methods, FM 2021, year: 2021

• Proving non-termination by program reversal

  CHATTERJEE Krishnendu GOHARSHADY Ehsan Kafshdar NOVOTNÝ Petr ŽIKELIĆ Djordje

  Article in Proceedings

  Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), year: 2021

• Symbiotic 8: Beyond Symbolic Execution

  CHALUPA Marek JAŠEK Tomáš NOVÁK Jakub ŘECHTÁČKOVÁ Anna ŠOKOVÁ Veronika STREJČEK Jan

  Article in Proceedings

  Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II, year: 2021

• Symbiotic 8: Parallel and Targeted Test Generation

  CHALUPA Marek NOVÁK Jakub STREJČEK Jan

  Article in Proceedings

  Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, year: 2021

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