María Svorenová

15 papers C 2Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2018 J jnl
Resource-Performance Tradeoff Analysis for Mobile Robots.
IEEE Robotics Autom. Lett.
Morteza Lahijanian, María Svorenová, Akshay A. Morye, Brian Yeomans, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska
2016 J jnl
Optimal Observation Mode Scheduling for Systems under Temporal Constraints.
CoRR
Eva Tesarova, María Svorenová, Jiri Barnat, Ivana Cerná
2016 C conf
Optimal observation mode scheduling for systems under temporal constraints.
ACC
Eva Tesarova, María Svorenová, Jiri Barnat, Ivana Cerna
2016 J jnl
Quantitative verification and strategy synthesis for stochastic games.
Eur. J. Control
María Svorenová, Marta Kwiatkowska
2016 J jnl
Resource-Performance Trade-off Analysis for Mobile Robots.
CoRR
María Svorenová, Morteza Lahijanian, Akshay A. Morye, Dushyant Rao, Ingmar Posner, Paul Newman, Hadas Kress-Gazit, Marta Kwiatkowska
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
2015 — conf
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games.
HSCC
María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
2015 — conf
Temporal logic motion planning using POMDPs with parity objectives: case study paper.
HSCC
María Svorenová, Martin Chmelik, Kevin Leahy, Hasan Ferit Eniser, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
2014 J jnl
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games.
CoRR
María Svorenová, Jan Kretínský, Martin Chmelik, Krishnendu Chatterjee, Ivana Cerná, Calin Belta
2013 J jnl
Optimal Control of MDPs with Temporal Logic Constraints
CoRR
María Svorenová, Ivana Cerna, Calin Belta
2013 J jnl
Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints
CoRR
María Svorenová, Ivana Cerná, Calin Belta
2013 — conf
Optimal control of MDPs with temporal logic constraints.
CDC
María Svorenová, Ivana Cerna, Calin Belta
2013 C conf
Optimal receding horizon control for finite deterministic systems with temporal logic constraints.
ACC
María Svorenová, Ivana Cerná, 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