María Svorenová

Temporal logic motion planning using POMDPs with parity objectives: case study paper

Krishnendu Chatterjee, Calin Belta, Ivana Cerná, 2015, HSCC.

Optimal receding horizon control for finite deterministic systems with temporal logic constraints

Calin Belta, Ivana Cerná, María Svorenová, 2013, 2013 American Control Conference.

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

Krishnendu Chatterjee, Calin Belta, Ivana Cerná, 2014, HSCC.

Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties

Calin Belta, Ivana Cerná, María Svorenová, 2015, IEEE Transactions on Automatic Control.

Optimal control of MDPs with temporal logic constraints

Calin Belta, Ivana Cerná, María Svorenová, 2013, 52nd IEEE Conference on Decision and Control.

Optimal observation mode scheduling for systems under temporal constraints

Ivana Cerná, Jiri Barnat, María Svorenová, 2016, 2016 American Control Conference (ACC).

Attraction-based receding horizon path planning with temporal logic constraints

Ivana Cerná, Jiri Barnat, Jana Tumova, 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

Quantitative verification and strategy synthesis for stochastic games

Marta Z. Kwiatkowska, María Svorenová, M. Kwiatkowska, 2016, European Journal of Control.