prof. RNDr. Ivana Černá, CSc.

2015

• Temporal Logic Motion Planning using POMDPs with Parity Objectives

  SVOREŇOVÁ Mária CHMELÍK Martin LEAHY Kevin ENISER Hasan Ferit CHATTERJEE Krishnendu ČERNÁ Ivana BELTA Calin

  Article in Proceedings

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

2014

• LTL Model Checking of Parametric Timed Automata

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

  Article in Proceedings

  MEMICS 2014, year: 2014

• On Clock-Aware LTL Properties of Timed Automata

  BEZDĚK Peter BENEŠ Nikola HAVEL Vojtěch BARNAT Jiří ČERNÁ Ivana

  Article in Proceedings

  Theoretical Aspects of Computing – ICTAC 2014, year: 2014

• Towards Verification of Ensemble Based Component Systems

  BARNAT Jiří BENEŠ Nikola BUREŠ Tomáš ČERNÁ Ivana KEZNIKL Tomáš PLÁŠIL František

  Article in Proceedings

  Formal Aspects of Component Software, year: 2014

2013

• DCCL: Verification of Component Systems with Ensembles

  BARNAT Jiří BENEŠ Nikola ČERNÁ Ivana PETRUCHOVÁ Zuzana

  Article in Proceedings

  CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, year: 2013

• Formal analysis of piecewise affine systems through formula-guided refinement

  YORDANOV Boyan TŮMOVÁ Jana ČERNÁ Ivana BARNAT Jiří BELTA Calin

  Article in Periodical

  Automatica, year: 2013, volume: 49, edition: 1, DOI

• Optimal Control of MDPs with Temporal Logic Constraints

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

  Article in Proceedings

  Proceedings of The 52nd IEEE Conference on Decision and Control, year: 2013

• Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints

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

  Article in Proceedings

  Proceedings of The 2013 American Control Conference, year: 2013

2012

• Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints

  SVOREŇOVÁ Mária TŮMOVÁ Jana BARNAT Jiří ČERNÁ Ivana

  Article in Proceedings

  Proceedings of the 51st IEEE Conference on Decision and Control, year: 2012

• Factorization for Component-Interaction Automata

  BENEŠ Nikola ČERNÁ Ivana ŠTEFAŇÁK Filip

  Article in Proceedings

  SOFSEM 2012: Theory and Practice of Computer Science, year: 2012