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
Journal ArticleDOI
Parameter estimation with expected and residual-at-risk criteria
TL;DR: A class of uncertain linear estimation problems in which the data are affected by random uncertainty is studied, yielding exact solutions in the l 2 norm case and upper-bounds on the optimal solutions inThe l 1 case.
Book ChapterDOI
Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach
TL;DR: In this article, the problem of inferring descriptions of system behavior using Linear Temporal Logic (LTL) from a finite set of positive and negative examples is addressed, and two algorithms for inferring concise LTL formulas even in the presence of noise are proposed.
Posted Content
Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks
TL;DR: This paper presents the first reward shaping framework for average-reward learning and proves that, under standard assumptions, the optimal policy under the original reward function can be recovered.
Journal ArticleDOI
Characterizing two-timescale nonlinear dynamics using finite-time Lyapunov exponents and subspaces
TL;DR: Finite-time Lyapunov exponents and vectors are used to define and diagnose boundary-layer type, two-timescale behavior in the tangent linear dynamics and to determine the associated manifold structure in the flow of a finite-dimensional nonlinear autonomous dynamical system.
Journal ArticleDOI
Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility
TL;DR: This work proposes a novel ATM architecture that divides control authority between vertihubs that are each in charge of all vehicles in their local airspace and provides a contract-based correct-by-construction reactive synthesis approach that provably guarantees safety with respect to user-provided safety specifications in linear temporal logic.