Ufuk Topcu

TL;DR: In this article, the authors study the problem of distributed hypothesis testing over a network of mobile agents and propose two distributed algorithms where each agent maintains and updates two sets of beliefs, namely local and actual beliefs.

TL;DR: In this article, two uncertainty-aware signal temporal logic (STL) inference approaches are proposed to classify the undesired behaviors and desired behaviors of a system by incorporating robust semantics of STL formulas with respect to an interval trajectory to quantify the margin at which an STL formula is satisfied or violated by the interval trajectory.

TL;DR: This paper introduces a new optimization criterion for MDP policies that captures the task of working towards the satisfaction of some infinite-time horizon $\omega$-regular specification and gives an algorithm to compute policies that are optimal in this criterion and shows that it captures the ideas of optimism and risk-averseness in MDP control.

TL;DR: A transformation of models specified in the PRISM probabilistic programming language creates models that account for all possible system configurations by nondeterministic choices, which enables the use of optimized tools for model checking in a black-box fashion.

TL;DR: In this paper, an optimal control problem for continuous-time stochastic systems subject to reachability objectives specified in a subclass of metric interval temporal logic specifications, a temporal logic with real-time constraints, is studied.