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

2021

• Symbiotic 6: generating test cases by slicing and symbolic execution

  CHALUPA Marek VITOVSKÁ Martina JAŠEK Tomáš ŠIMÁČEK Michael STREJČEK Jan

  Article in Periodical

  International Journal on Software Tools for Technology Transfer, year: 2021, volume: 23, edition: 6, DOI

• The Satisfiability Problem for a Quantitative Fragment of PCTL

  CHODIL Miroslav KUČERA Antonín

  Article in Proceedings

  Fundamentals of Computation Theory. 23rd International Symposium, FCT 2021, year: 2021

2020

• Efficient Analysis of VASS Termination Complexity

  KUČERA Antonín LEROUX Jérôme VELAN Dominik

  Article in Proceedings

  LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, year: 2020

• Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

  BLONDIN Michael ESPARZA Javier HELFRICH Martin KUČERA Antonín MEYER Philipp

  Article in Proceedings

  Computer Aided Verification, CAV 2020, year: 2020

• Qualitative Controller Synthesis for Consumption Markov Decision Processes

  BLAHOUDEK František BRÁZDIL Tomáš NOVOTNÝ Petr ORNIK Melkior THANGEDA Pranay TOPCU Ufuk

  Article in Proceedings

  Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}, year: 2020

• Termination Analysis of Probabilistic Programs with Martingales

  CHATTERJEE Krishnendu FU Hongfei NOVOTNÝ Petr

  Chapter of a book

  Foundations of Probabilistic Programming, year: 2020, number of pages: 38 s.

2019

• Bidding Games on Markov Decision Processes

  AVNI Guy HENZINGER Thomas A. IBSEN-JENSEN Rasmus NOVOTNÝ Petr

  Article in Proceedings

  Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings., year: 2019

• Deciding Fast Termination for Probabilistic VASS with Nondeterminism

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

  Article in Proceedings

  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

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

  Article in Periodical

  ACM Transactions on Modeling and Computer Simulation (TOMACS), year: 2019, volume: 29, edition: 4, DOI

• On the Complexity of Value Iteration

  BALAJI Nikhil KIEFER Stefan NOVOTNÝ Petr PÉREZ Guillermo A. SHIRMOHAMMADI Mahsa

  Article in Proceedings

  Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), year: 2019

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