Ivana Cerna

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