Ufuk Topcu

关于

暂无简介。

研究焦点

主要成就

代表论文

1. 1
   Imperceptible electrooculography graphene sensor system for human–robot interface

   155 次引用 · 2018
2. 2
   Correct, Reactive, High-Level Robot Control

   122 次引用 · 2011
3. 3
   Correct-by-synthesis reinforcement learning with temporal logic constraints

   54 次引用 · 2015
4. 4
   Efficient reactive controller synthesis for a fragment of linear temporal logic

   52 次引用 · 2013
5. 5
   Computational methods for stochastic control with metric interval temporal logic specifications

   46 次引用 · 2015
6. 6
   On synthesizing robust discrete controllers under modeling uncertainty

   42 次引用 · 2012
7. 7
   An Automaton Learning Approach to Solving Safety Games over Infinite Graphs

   32 次引用 · 2016
8. 8
   Optimal Control with Weighted Average Costs and Temporal Logic Specifications

   30 次引用 · 2012
9. 9
   Optimal temporal logic planning in probabilistic semantic maps

   30 次引用 · 2016
10. 10
    Towards formal synthesis of reactive controllers for dexterous robotic manipulation

    29 次引用 · 2012

主要合作者