pith. sign in

Ufuk Topcu

Identifiers

  • name variant Ufuk Topcu 0.60 · backfill

Papers (86)

  1. What Objects Enable, Not What They Are: Functional Latent Spaces for Affordance Reasoning cs.LG · 2026 · author #9
  2. VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents cs.RO · 2026 · author #6
  3. Physically Viable World Models: A Case for Query-Conditioned Embodied AI cs.AI · 2026 · author #8
  4. Secure Coordination for Vertiport Sequencing in Advanced Air Mobility eess.SY · 2026 · author #3
  5. A Flow Matching Algorithm for Many-Shot Adaptation to Unseen Distributions cs.LG · 2026 · author #6
  6. Why Do LLMs Struggle in Strategic Play? Broken Links Between Observations, Beliefs, and Actions cs.CL · 2026 · author #3
  7. Chance-Constrained Correlated Equilibria for Robust Noncooperative Coordination cs.GT · 2026 · author #2
  8. Zero-Shot Function Encoder-Based Differentiable Predictive Control eess.SY · 2025 · author #6
  9. LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback cs.RO · 2025 · author #7
  10. Zero to Autonomy in Real-Time: Online Adaptation of Dynamics in Unstructured Environments cs.RO · 2025 · author #6
  11. Sequential Resource Trading Using Comparison-Based Gradient Estimation cs.MA · 2024 · author #3
  12. An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing cs.LG · 2019 · author #5
  13. Entropy-Regularized Stochastic Games math.OC · 2019 · author #4
  14. Submodular Observation Selection and Information Gathering for Quadratic Models eess.SP · 2019 · author #4
  15. Control Theory Meets POMDPs: A Hybrid Systems Approach cs.SY · 2019 · author #4
  16. Synthesis of Provably Correct Autonomy Protocols for Shared Control cs.RO · 2019 · author #4
  17. Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis math.OC · 2019 · author #3
  18. Reward-Based Deception with Cognitive Bias cs.AI · 2019 · author #4
  19. Synthesis of Admissible Shields cs.LO · 2019 · author #4
  20. Graph Temporal Logic Inference for Classification and Identification cs.LO · 2019 · author #4
  21. Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks cs.AI · 2019 · author #6
  22. Incentive Design for Temporal Logic Objectives math.OC · 2019 · author #5
  23. Training Classifiers For Feedback Control math.OC · 2019 · author #3
  24. Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions cs.RO · 2019 · author #3
  25. Distributed Synthesis of Surveillance Strategies for Mobile Sensors cs.AI · 2019 · author #3
  26. Robust Myopic Control for Systems with Imperfect Observations cs.SY · 2018 · author #3
  27. Information-Guided Temporal Logic Inference with Prior Knowledge cs.LO · 2018 · author #4
  28. Reactive Task and Motion Planning for Robust Whole-Body Dynamic Locomotion in Constrained Environments cs.RO · 2018 · author #4
  29. Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes cs.SY · 2018 · author #4
  30. Barrier Certificates for Assured Machine Teaching eess.SY · 2018 · author #5
  31. The Partially Observable Games We Play for Cyber Deception cs.AI · 2018 · author #6
  32. Least Inferable Policies for Markov Decision Processes math.OC · 2018 · author #3
  33. Transfer Entropy in MDPs with Temporal Logic Specifications cs.SY · 2018 · author #4
  34. Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems math.OC · 2018 · author #3
  35. Randomized Greedy Sensor Selection: Leveraging Weak Submodularity eess.SP · 2018 · author #4
  36. Structured Synthesis for Probabilistic Systems cs.SE · 2018 · author #4
  37. Verification of Uncertain POMDPs Using Barrier Certificates cs.SY · 2018 · author #4
  38. Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints math.OC · 2018 · author #5
  39. Deception in Optimal Control math.OC · 2018 · author #2
  40. Affine Multiplexing Networks: System Analysis, Learning, and Computation math.OC · 2018 · author #2
  41. Privacy Verification in POMDPs via Barrier Certificates cs.SY · 2018 · author #4
  42. Maximum Realizability for Linear Temporal Logic Specifications cs.LO · 2018 · author #3
  43. Counterexamples for Robotic Planning Explained in Structured Language cs.RO · 2018 · author #4
  44. Synthesis in pMDPs: A Tale of 1001 Parameters cs.AI · 2018 · author #5
  45. Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets math.OC · 2018 · author #3
  46. Distributed Synthesis Using Accelerated ADMM math.OC · 2018 · author #3
  47. Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes cs.AI · 2018 · author #5
  48. Controller Synthesis for Safety of Physically-Viable Data-Driven Models math.OC · 2018 · author #3
  49. Sensor Synthesis for POMDPs with Reachability Objectives cs.AI · 2017 · author #3
  50. A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks cs.SY · 2017 · author #4
  51. Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties cs.SY · 2017 · author #2
  52. Synthesis of surveillance strategies via belief abstraction cs.RO · 2017 · author #3
  53. Control-Oriented Learning on the Fly math.OC · 2017 · author #3
  54. Safe Reinforcement Learning via Shielding cs.LO · 2017 · author #6
  55. Strategy Synthesis in POMDPs via Game-Based Abstractions cs.RO · 2017 · author #5
  56. Active Sampling-based Binary Verification of Dynamical Systems cs.SY · 2017 · author #2
  57. Active Sampling for Constrained Simulation-based Verification of Uncertain Nonlinear Systems cs.SY · 2017 · author #2
  58. Environment-Independent Task Specifications via GLTL cs.AI · 2017 · author #2
  59. Sequential Convex Programming for the Efficient Verification of Parametric MDPs cs.LO · 2017 · author #7
  60. Probabilistic Model Checking for Complex Cognitive Tasks -- A case study in human-robot interaction cs.AI · 2016 · author #4
  61. Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees cs.RO · 2016 · author #3
  62. Risk-Averse $\omega$-regular Markov Decision Process Control cs.SY · 2016 · author #3
  63. An Automaton Learning Approach to Solving Safety Games over Infinite Graphs cs.FL · 2016 · author #2
  64. Strategy Synthesis for Stochastic Rabin Games with Discounted Reward cs.SY · 2015 · author #2
  65. Optimal Temporal Logic Planning in Probabilistic Semantic Maps cs.RO · 2015 · author #3
  66. Safety-Constrained Reinforcement Learning for MDPs cs.SE · 2015 · author #4
  67. Distributed Charging Control of Electric Vehicles Using Online Learning math.OC · 2015 · author #3
  68. Computational methods for stochastic control with metric interval temporal logic specifications cs.SY · 2015 · author #2
  69. Optimal control in Markov decision processes via distributed optimization cs.SY · 2015 · author #3
  70. Value of forecasts in planning under uncertainty: Extended version math.OC · 2015 · author #2
  71. Correct-by-synthesis reinforcement learning with temporal logic constraints cs.LO · 2015 · author #3
  72. Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints cs.RO · 2014 · author #2
  73. Differentially Private Distributed Constrained Optimization math.OC · 2014 · author #2
  74. Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations cs.SY · 2014 · author #2
  75. Abstractions and sensor design in partial-information, reactive controller synthesis cs.SY · 2014 · author #3
  76. Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints cs.SY · 2014 · author #2
  77. Differentially Private Convex Optimization with Piecewise Affine Objectives math.OC · 2014 · author #2
  78. Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems cs.FL · 2014 · author #2
  79. Distributed Load Balancing with Nonconvex Constraints: A Randomized Algorithm with Application to Electric Vehicle Charging Scheduling math.OC · 2014 · author #2
  80. Exact Convex Relaxation of Optimal Power Flow in Radial Networks math.OC · 2013 · author #3
  81. Convex Optimal Uncertainty Quantification math.OC · 2013 · author #3
  82. Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications cs.LO · 2013 · author #3
  83. Design and Stability of Load-Side Primary Frequency Control in Power Systems cs.SY · 2013 · author #2
  84. Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication cs.SY · 2012 · author #2
  85. Exact Convex Relaxation of Optimal Power Flow in Tree Networks math.OC · 2012 · author #3
  86. On base station localization for state estimation over lossy networks math.OC · 2008 · author #1

Mentions

  • 2606.05533 #9 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 2606.05395 #6 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1905.08095 #4 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1811.09000 #3 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1811.04333 #4 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1810.00097 #4 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1810.00093 #5 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1809.06480 #4 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1807.03823 #4 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1805.03090 #2 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1804.03810 #4 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1709.08823 #4 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1709.06645 #2 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1709.05363 #3 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1709.04889 #3 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1706.04268 #2 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1705.01471 #2 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1603.06716 #3 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1511.00647 #2 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1510.06469 #3 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1510.05880 #4 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1503.07193 #2 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1503.07189 #3 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1503.01793 #3 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1412.6029 #2 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1411.4105 #2 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1410.0083 #2 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1405.1630 #3 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1404.7073 #2 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1305.0585 #2 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1507.07123 #3 · backfill · confidence 0.70 Ufuk Topcu
  • 1210.2035 #2 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1503.07193 #2 · backfill · confidence 0.70 Ufuk Topcu
  • 1503.07189 #3 · backfill · confidence 0.70 Ufuk Topcu
  • 1503.04093 #2 · backfill · confidence 0.70 Ufuk Topcu
  • 1503.01793 #3 · backfill · confidence 0.70 Ufuk Topcu
  • 1412.6029 #2 · backfill · confidence 0.70 Ufuk Topcu
  • 1411.4105 #2 · backfill · confidence 0.70 Ufuk Topcu
  • 1410.0083 #2 · backfill · confidence 0.70 Ufuk Topcu
  • 2605.30542 #8 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1405.1630 #3 · backfill · confidence 0.70 Ufuk Topcu
  • 1404.7073 #2 · backfill · confidence 0.70 Ufuk Topcu
  • 1403.6135 #2 · backfill · confidence 0.70 Ufuk Topcu
  • 1403.3524 #2 · backfill · confidence 0.70 Ufuk Topcu
  • 1401.7604 #2 · backfill · confidence 0.70 Ufuk Topcu
  • 1311.7170 #3 · backfill · confidence 0.70 Ufuk Topcu
  • 1311.7130 #3 · backfill · confidence 0.70 Ufuk Topcu
  • 1308.4113 #3 · backfill · confidence 0.70 Ufuk Topcu
  • 2509.18384 #7 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 1305.0585 #2 · backfill · confidence 0.70 Ufuk Topcu
  • 1210.2035 #2 · backfill · confidence 0.70 Ufuk Topcu
  • 1208.4076 #3 · backfill · confidence 0.70 Ufuk Topcu
  • 2605.21771 #3 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 2603.14141 #2 · arxiv_oai · confidence 0.70 Ufuk Topcu
  • 0809.4089 #1 · backfill · confidence 0.70 Ufuk Topcu

Frequent Coauthors