32 citations · 76 across the 8 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
eess.SY2017
Time-optimal Velocity Tracking Control for Differential Drive Robots
Hasan A Poonawala, Mark W Spong
Nonholonomic wheeled mobile robots are often required to implement algorithms designed for holonomic kinematic systems. This creates a velocity tracking problem for the actual whee…
cs.LO2017★ 1 cited
Sequential Convex Programming for the Efficient Verification of Parametric MDPs
Murat Cubuktepe, Nils Jansen, Sebastian Junges +4
Multi-objective verification problems of parametric Markov decision processes under optimality criteria can be naturally expressed as nonlinear programs. We observe that many of th…