María Svorenová

Affiliations:
  • University of Oxford, UK


According to our database1, María Svorenová authored at least 10 papers between 2012 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2018
Resource-Performance Tradeoff Analysis for Mobile Robots.
IEEE Robotics Autom. Lett., 2018

2016
Quantitative verification and strategy synthesis for stochastic games.
Eur. J. Control, 2016

Resource-Performance Trade-off Analysis for Mobile Robots.
CoRR, 2016

Optimal observation mode scheduling for systems under temporal constraints.
Proceedings of the 2016 American Control Conference, 2016

2015
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties.
IEEE Trans. Autom. Control., 2015

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Temporal logic motion planning using POMDPs with parity objectives: case study paper.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

2013
Optimal control of MDPs with temporal logic constraints.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Optimal receding horizon control for finite deterministic systems with temporal logic constraints.
Proceedings of the American Control Conference, 2013

2012
Attraction-based receding horizon path planning with temporal logic constraints.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012


  Loading...