prof. RNDr. Ivana Černá, CSc.

2018

• Online Enumeration of All Minimal Inductive Validity Cores

  BENDÍK Jaroslav GHASSABANI Elaheh WHALEN Michael ČERNÁ Ivana

  Article in Proceedings

  Software Engineering and Formal Methods - 16th International Conference, year: 2018

• Recursive Online Enumeration of All Minimal Unsatisfiable Subsets

  BENDÍK Jaroslav ČERNÁ Ivana BENEŠ Nikola

  Article in Proceedings

  Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}, year: 2018

2017

• 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 Periodical

  Nonlinear Analysis: Hybrid Systems, year: 2017, volume: 23, edition: February 2017, DOI

2016

• Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis

  BENDÍK Jaroslav BENEŠ Nikola BARNAT Jiří ČERNÁ Ivana

  Article in Proceedings

  Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, year: 2016

• LTL Parameter Synthesis of Parametric Timed Automata

  BEZDĚK Peter BENEŠ Nikola BARNAT Jiří ČERNÁ Ivana

  Article in Proceedings

  Software Engineering and Formal Methods - 14th International Conference, SEFM 2016., year: 2016

• On verifying C++ programs with probabilities

  BARNAT Jiří ČERNÁ Ivana ROČKAI Petr ŠTILL Vladimír ZÁKOPČANOVÁ Kristína

  Article in Proceedings

  Proceedings of the 31st Annual ACM Symposium on Applied Computing, year: 2016

• Optimal observation mode scheduling for systems under temporal constraints

  TESAŘOVÁ Eva SVOREŇOVÁ Mária BARNAT Jiří ČERNÁ Ivana

  Article in Proceedings

  2016 American Control Conference (ACC), year: 2016

• Tunable Online MUS/MSS Enumeration

  BENDÍK Jaroslav BENEŠ Nikola ČERNÁ Ivana BARNAT Jiří

  Article in Proceedings

  Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016, year: 2016

2015

• Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties

  SVOREŇOVÁ Mária ČERNÁ Ivana BELTA Calin

  Article in Periodical

  IEEE Transactions on Automatic Control, year: 2015, volume: 60, edition: 6, DOI

• 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