prof. RNDr. Ivana Černá, CSc.

2018

• Online Enumeration of All Minimal Inductive Validity Cores

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

  Článek ve sborníku

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

• Recursive Online Enumeration of All Minimal Unsatisfiable Subsets

  BENDÍK Jaroslav ČERNÁ Ivana BENEŠ Nikola

  Článek ve sborníku

  Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}, rok: 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

  Článek v odborném periodiku

  Nonlinear Analysis: Hybrid Systems, rok: 2017, ročník: 23, vydání: 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

  Článek ve sborníku

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

• LTL Parameter Synthesis of Parametric Timed Automata

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

  Článek ve sborníku

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

• On verifying C++ programs with probabilities

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

  Článek ve sborníku

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

• Optimal observation mode scheduling for systems under temporal constraints

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

  Článek ve sborníku

  2016 American Control Conference (ACC), rok: 2016

• Tunable Online MUS/MSS Enumeration

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

  Článek ve sborníku

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

2015

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

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

  Článek v odborném periodiku

  IEEE Transactions on Automatic Control, rok: 2015, ročník: 60, vydání: 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

  Článek ve sborníku

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