Resource-Performance Tradeoff Analysis for Mobile Robots
Lahijanian, Morteza, Svorenova, Maria, Morye, Akshay A., Yeomans, Brian, Rao, Dushyant, Posner, Ingmar, Newman, Paul, Kress-Gazit, Hadas, Kwiatkowska, Marta
Published in IEEE robotics and automation letters (01.07.2018)
Published in IEEE robotics and automation letters (01.07.2018)
Get full text
Journal Article
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties
Svorenova, Maria, Cerna, Ivana, Belta, Calin
Published in IEEE transactions on automatic control (01.06.2015)
Published in IEEE transactions on automatic control (01.06.2015)
Get full text
Journal Article
Optimal receding horizon control for finite deterministic systems with temporal logic constraints
Svorenova, Maria, Cerna, Ivana, Belta, Calin
Published in 2013 American Control Conference (01.06.2013)
Published in 2013 American Control Conference (01.06.2013)
Get full text
Conference Proceeding
Attraction-based receding horizon path planning with temporal logic constraints
Svorenova, M., Tumova, J., Barnat, J., Cerna, I.
Published in 2012 IEEE 51st IEEE Conference on Decision and Control (CDC) (01.12.2012)
Published in 2012 IEEE 51st IEEE Conference on Decision and Control (CDC) (01.12.2012)
Get full text
Conference Proceeding
Optimal control of MDPs with temporal logic constraints
Svorenova, Maria, Cerna, Ivana, Belta, Calin
Published in 52nd IEEE Conference on Decision and Control (01.12.2013)
Published in 52nd IEEE Conference on Decision and Control (01.12.2013)
Get full text
Conference Proceeding
Resource-Performance Trade-off Analysis for Mobile Robot Design
Lahijanian, Morteza, Svorenova, Maria, Morye, Akshay A, Yeomans, Brian, Rao, Dushyant, Posner, Ingmar, Newman, Paul, Kress-Gazit, Hadas, Kwiatkowska, Marta
Year of Publication 15.09.2016
Year of Publication 15.09.2016
Get full text
Journal Article
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games
Svorenova, Maria, Kretinsky, Jan, Chmelik, Martin, Chatterjee, Krishnendu, Cerna, Ivana, Belta, Calin
Year of Publication 20.10.2014
Year of Publication 20.10.2014
Get full text
Journal Article
Optimal observation mode scheduling for systems under temporal constraints
Tesarova, Eva, Svorenova, Maria, Barnat, Jiri, Cerna, Ivana
Published in 2016 American Control Conference (ACC) (01.07.2016)
Published in 2016 American Control Conference (ACC) (01.07.2016)
Get full text
Conference Proceeding
Journal Article