Ufuk Topcu

The University of Texas at Austin, California Institute of Technology, University of Pennsylvania, California University of Pennsylvania

Papers

54

Total Citations

1,062

H-Index

19

About

No biography available yet.

Research Focus

Computer science54 · 1,062 citations
Artificial intelligence46 · 920 citations
Theoretical computer science28 · 551 citations
Temporal logic19 · 530 citations
Robot27 · 488 citations
Mathematics29 · 483 citations
Engineering24 · 451 citations
Algorithm21 · 364 citations
Control (management)12 · 296 citations
Linear temporal logic12 · 289 citations
Control engineering11 · 283 citations
Mathematical optimization16 · 279 citations

Key Achievements

19
H-Index
54
Papers
1,062
Total Citations
20
Avg Citations/Paper
🏆 Most Cited Paper
Imperceptible electrooculography graphene sensor system for human–robot interface
155 citations · 2018
📈 Most Prolific Year: 2016 (9 Papers)
🤝 Key Collaborators: 94
🏛 Institutions: The University of Texas at Austin, California Institute of Technology, University of Pennsylvania, California University of Pennsylvania

Top Papers

  1. 1
    Imperceptible electrooculography graphene sensor system for human–robot interface
    155 citations · 2018
  2. 2
    Correct, Reactive, High-Level Robot Control
    122 citations · 2011
  3. 3
    Correct-by-synthesis reinforcement learning with temporal logic constraints
    54 citations · 2015
  4. 4
    Efficient reactive controller synthesis for a fragment of linear temporal logic
    52 citations · 2013
  5. 5
    Computational methods for stochastic control with metric interval temporal logic specifications
    46 citations · 2015
  6. 6
    On synthesizing robust discrete controllers under modeling uncertainty
    42 citations · 2012
  7. 7
    An Automaton Learning Approach to Solving Safety Games over Infinite Graphs
    32 citations · 2016
  8. 8
    Optimal Control with Weighted Average Costs and Temporal Logic Specifications
    30 citations · 2012
  9. 9
    Optimal temporal logic planning in probabilistic semantic maps
    30 citations · 2016
  10. 10
    Towards formal synthesis of reactive controllers for dexterous robotic manipulation
    29 citations · 2012

Key Collaborators

ZXZhe Xu7 shared papersLSLuis Sentis6 shared papersJFJie Fu6 shared papersRDRayna Dimitrova4 shared papersANAlexander Nettekoven4 shared papersRMRichard M. Murray4 shared papersMGMahsa Ghasemi4 shared papersSMSalar Moarref4 shared papersJLJun Liu3 shared papersSBSuda Bharadwaj3 shared papersFMFederico M. Zegers3 shared papersLHLaura Humphrey3 shared papersWEWarren E. Dixon3 shared papersEMEric M. Wolff3 shared papersBWBo Wu3 shared papersNJNils Jansen3 shared papersCNCyrus Neary2 shared papersJKJoost-Pieter Katoen2 shared papersBHBinghan He2 shared papersYZYe Zhao2 shared papers
Not generated yet