U
Ufuk Topcu
Researcher at University of Texas at Austin
Publications - 504
Citations - 11791
Ufuk Topcu is an academic researcher from University of Texas at Austin. The author has contributed to research in topics: Markov decision process & Computer science. The author has an hindex of 44, co-authored 437 publications receiving 9636 citations. Previous affiliations of Ufuk Topcu include Google & University of Illinois at Urbana–Champaign.
Papers
More filters
Book ChapterDOI
Synthesis in pMDPs: A Tale of 1001 Parameters
TL;DR: It is shown that the synthesis problem for parametric Markov decision processes whose transitions are equipped with affine functions over a finite set of parameters can be formulated as a quadratically-constrained quadratic program (QCQP) and is non-convex in general.
Posted Content
Differentially Private Convex Optimization with Piecewise Affine Objectives
TL;DR: In this paper, the problem of computing a differentially private solution to convex optimization problems whose objective function is piecewise affine is studied, and several privacy preserving mechanisms are proposed.
Proceedings ArticleDOI
Formal Synthesis of Embedded Control Software: Application to Vehicle Management Systems
TL;DR: An automated methodology for the synthesis of correct-by-construction control protocols for vehicle management systems using linear temporal logic as the specication language for precisely describing correct behaviors of the system as well as the admissible dynamic behavior of the environment due to, for example, wind gusts and changes in the ight conditions.
Book ChapterDOI
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives
TL;DR: This work shows that strategies constructed from Pareto set approximations of expected energy objectives are e-optimal for the corresponding average rewards in turn-based stochastic games whose winning conditions are conjunctions of satisfaction objectives for long-run average rewards.
Proceedings Article
Automatic Synthesis of Robust Embedded Control Software
TL;DR: The effectiveness of the proposed technique is demonstrated through an example of an autonomous vehicle navigating an urban environment and it is demonstrated that the system is not only robust with respect to exogenous disturbances but also capable of handling violation of the environment assumptions.