Topcu, Ufuk

Imperceptible electrooculography graphene sensor system for human–robot interface

Ameri, S. K., Kim, M., Kuang, I. A., Perera, W. K., Alshiekh, M., Jeong, H., Topcu, U., Akinwande, D., & Lu, N. (2018) · npj 2D Materials and Applications

Advanced Sensor and Energy Harvesting MaterialsGaze Tracking and Assistive Technology

Cited by 162

Correct-by-synthesis reinforcement learning with temporal logic constraints

Wen, M., Ehlers, R., & Topcu, U. (2015) · 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

Formal Methods in VerificationReinforcement Learning in Robotics

Cited by 59

Safe Reinforcement Learning via Shielding

Alshiekh, M., Bloem, R., Ehlers, R., Könighofer, B., Niekum, S., & Topcu, U. (2018) · Proceedings of the AAAI Conference on Artificial Intelligence

Reinforcement Learning in RoboticsFormal Methods in Verification

Cited by 37

Mm3dgs slam: Multi-modal 3d gaussian splatting for slam using vision, depth, and inertial measurements

Sun, L. C., Bhatt, N. P., Liu, J. C., Fan, Z., Wang, Z., Humphreys, T. E., & Topcu, U. (2024) · 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

Robotics and Sensor-Based Localization3D Surveying and Cultural Heritage

Cited by 34

Reward Machines for Cooperative Multi-Agent Reinforcement Learning

Neary, C., Xu, Z., Wu, B., & Topcu, U. (2021) · International Joint Conference on Autonomous Agents and Multiagent Systems

Reinforcement Learning in RoboticsMulti-Agent Systems and Negotiation

Cited by 28

Formal Methods for Autonomous Systems

Wongpiromsarn, T., Ghasemi, M., Cubuktepe, M., Bakirtzis, G., Carr, S., Karabag, M. O., Neary, C., Gohari, P., & Topcu, U. (2023) · Foundations and Trends® in Systems and Control

Formal Methods in VerificationSafety Systems Engineering in Autonomy

Cited by 17

Exact Convex Relaxation of Optimal Power Flow in Tree Networks

Gan, L., Li, N., Topcu, U., & Low, S. H. (2012) · arXiv

Optimal Power Flow DistributionAdvanced Optimization Algorithms Research

Cited by 11

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents

Yang, Y., Bhatt, N. P., Wang, K., Tetteh, S., Wang, Z., & Topcu, U. (2026) · arXiv

Formal Methods in VerificationAI-based Problem Solving and Planning

Cited by 0