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

• Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)

  CHALUPA Marek JONÁŠ Martin SLABÝ Jiří STREJČEK Jan VITOVSKÁ Martina

  Article in Proceedings

  Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 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

• Long-Run Average Behaviour of Probabilistic Vector Addition Systems

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

  Article in Proceedings

  30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015., year: 2015

• On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS

  KUČERA Antonín

  Article in Proceedings

  Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings., year: 2015

• Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis

  BRÁZDIL Tomáš KORENČIAK Ľuboš KRČÁL Jan NOVOTNÝ Petr ŘEHÁK Vojtěch

  Article in Proceedings

  Quantitative Evaluation of Systems, year: 2015

• Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games

  SVOREŇOVÁ Mária KŘETÍNSKÝ Jan CHMELÍK Martin CHATTERJEE Krishnendu ČERNÁ Ivana BELTA Calin

  Article in Proceedings

  Proceedings of ACM international conference on Hybrid Systems: Computation and Control, year: 2015