Ivana Cerna

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 6

Top Topics

Unsatisfiable Cores

Optimal Control

Receding Horizon

Top Venues

IEEE Trans. Autom. Control.

Publications

Jaroslav Bendík, Ivana Cerna
Rotation Based MSS/MCS Enumeration. LPAR (2020)
Jaroslav Bendík, Ivana Cerna
Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets. LPAR (2018)
Jaroslav Bendík, Nikola Benes, Ivana Cerna
Finding Regressions in Projects under Version Control Systems. CoRR (2017)
Jaroslav Bendík, Nikola Benes, Ivana Cerna
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. CoRR (2017)
Eva Tesarova, María Svorenová, Jiri Barnat, Ivana Cerna
Optimal observation mode scheduling for systems under temporal constraints. ACC (2016)
María Svorenová, Ivana Cerna, Calin Belta
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties. IEEE Trans. Autom. Control. 60 (6) (2015)
María Svorenová, Ivana Cerna, Calin Belta
Optimal Control of MDPs with Temporal Logic Constraints CoRR (2013)
María Svorenová, Ivana Cerna, Calin Belta
Optimal control of MDPs with temporal logic constraints. CDC (2013)
Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta
Temporal Logic Control of Discrete-Time Piecewise Affine Systems. IEEE Trans. Autom. Control. 57 (6) (2012)
María Svorenová, Jana Tumova, Jiri Barnat, Ivana Cerna
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints CoRR (2012)
María Svorenová, Jana Tumova, Jiri Barnat, Ivana Cerna
Attraction-based receding horizon path planning with temporal logic constraints. CDC (2012)
Nikola Benes, Barbora Buhnova, Ivana Cerna, Radek Oslejsek
Reliability analysis in component-based development via probabilistic model checking. CBSE (2012)
Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat
Formal analysis of piecewise affine systems through formula-guided refinement. CDC (2010)
Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat
A symbolic approach to controlling piecewise affine systems. CDC (2010)
Guido Boella, Mehdi Dastani, Andrea Omicini, Leendert W. N. van der Torre, Ivana Cerna, Isabelle Linden
Preface. Electron. Notes Theor. Comput. Sci. 181 (2007)