| 2025 | AAAI | Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives. | Abhishek Ninad Kulkarni, Jie Fu, Ufuk Topcu |
| 2025 | ECAI | Pessimistic Iterative Planning with RNNs for Robust POMDPs. | Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simo, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen |
| 2025 | ICLR | Neural Stochastic Differential Equations for Uncertainty-Aware Offline RL. | Cevahir Kprl, Franck Djeumou, Ufuk Topcu |
| 2025 | ICLR | Safety-Prioritizing Curricula for Constrained Reinforcement Learning. | Cevahir Kprl, Thiago D. Simo, Nils Jansen, Ufuk Topcu |
| 2025 | ICLR | CSA: Data-efficient Mapping of Unimodal Features to Multimodal Features. | Po-han Li, Sandeep P. Chinchali, Ufuk Topcu |
| 2025 | ICML | Function Encoders: A Principled Approach to Transfer Learning in Hilbert Spaces. | Tyler Ingebrand, Adam J. Thorpe, Ufuk Topcu |
| 2025 | IROS | MultiNash-PF: A Particle Filtering Approach for Computing Multiple Local Generalized Nash Equilibria in Trajectory Games. | Maulik Bhatt, Iman Askari, Yue Yu, Ufuk Topcu, Huazhen Fang, Negar Mehr |
| 2025 | ICRA | Uncertainty-Guided Enhancement on Driving Perception System Via Foundation Models. | Yunhao Yang, Yuxin Hu, Mao Ye, Zaiwei Zhang, Zhichao Lu, Yi Xu, Ufuk Topcu, Ben Snyder |
| 2025 | ICWSM | News Source Credibility Assessment: A Reddit Case Study. | Arash Amini, Yigit Ege Bayiz, Ashwin Ram, Radu Marculescu, Ufuk Topcu |
| 2025 | ICWSM | Susceptibility of Communities Against Low-Credibility Content in Social News Websites. | Yigit Ege Bayiz, Arash Amini, Radu Marculescu, Ufuk Topcu |
| 2024 | CoRL | Accelerating Visual Sparse-Reward Learning with Latent Nearest-Demonstration-Guided Explorations. | Ruihan Zhao, Ufuk Topcu, Sandeep P. Chinchali, Mariano Phielipp |
| 2024 | ECAI | Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning. | Georgios Bakirtzis, Michail Savvas, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu |
| 2024 | ICML | Zero-Shot Reinforcement Learning via Function Encoders. | Tyler Ingebrand, Amy Zhang, Ufuk Topcu |
| 2024 | IJCAI | Human-Agent Cooperation in Games under Incomplete Information through Natural Language Communication. | Shenghui Chen, Daniel Fried, Ufuk Topcu |
| 2024 | ICRA | A Multifidelity Sim-to-Real Pipeline for Verifiable and Compositional Reinforcement Learning. | Cyrus Neary, Christian Ellis, Aryaman Singh Samyal, Craig Lennon, Ufuk Topcu |
| 2024 | IROS | Scalable Networked Feature Selection with Randomized Algorithm for Robot Navigation. | Vivek Pandey, Arash Amini, Guangyi Liu, Ufuk Topcu, Qiyu Sun, Kostas Daniilidis, Nader Motee |
| 2024 | IROS | MM3DGS SLAM: Multi-modal 3D Gaussian Splatting for SLAM Using Vision, Depth, and Inertial Measurements. | Lisong C. Sun, Neel P. Bhatt, Jonathan C. Liu, Zhiwen Fan, Zhangyang Wang, Todd E. Humphreys, Ufuk Topcu |
| 2023 | AAAI | Learning Interpretable Temporal Properties from Positive Examples Only. | Rajarshi Roy, Jean-Raphal Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu |
| 2023 | AAAI | Safe Reinforcement Learning via Shielding under Partial Observability. | Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu |
| 2023 | AAAI | On the Sample Complexity of Vanilla Model-Based Offline Reinforcement Learning with Dependent Samples. | Mustafa O. Karabag, Ufuk Topcu |
| 2023 | CAV | Efficient Sensitivity Analysis for Parametric Robust Markov Chains. | Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen |
| 2023 | CoRL | How to Learn and Generalize From Three Minutes of Data: Physics-Constrained and Uncertainty-Aware Neural Stochastic Differential Equations. | Franck Djeumou, Cyrus Neary, Ufuk Topcu |
| 2023 | ECAI | Reinforcement Learning with Reward Machines in Stochastic Games. | Jueming Hu, Jean-Raphal Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu |
| 2023 | ICRA | Autonomous Drifting with 3 Minutes of Data via Learned Tire Models. | Franck Djeumou, Jonathan Y. M. Goh, Ufuk Topcu, Avinash Balachandran |
| 2023 | UAI | Differential Privacy in Cooperative Multiagent Planning. | Bo Chen, Calvin Hawkins, Mustafa O. Karabag, Cyrus Neary, Matthew T. Hale, Ufuk Topcu |
| 2023 | UAI | Risk-aware curriculum generation for heavy-tailed task distributions. | Cevahir Kprl, Thiago D. Simo, Nils Jansen, Ufuk Topcu |
| 2023 | UAI | Reward-machine-guided, self-paced reinforcement learning. | Cevahir Kprl, Ufuk Topcu |
| 2022 | AAAI | Deceptive Decision-Making under Uncertainty. | Yagiz Savas, Christos K. Verginis, Ufuk Topcu |
| 2022 | AISTATS | Robust Training in High Dimensions via Block Coordinate Geometric Median Descent. | Anish Acharya, Abolfazl Hashemi, Prateek Jain, Sujay Sanghavi, Inderjit S. Dhillon, Ufuk Topcu |
| 2022 | IJCAI | Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. | Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu |
| 2022 | UAI | Faster non-convex federated learning via global and local momentum. | Rudrajit Das, Anish Acharya, Abolfazl Hashemi, Sujay Sanghavi, Inderjit S. Dhillon, Ufuk Topcu |
| 2021 | AAAI | Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners. | Zhe Xu, Yuxin Chen, Ufuk Topcu |
| 2021 | AAAI | Robust Finite-State Controllers for Uncertain POMDPs. | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu |
| 2021 | AAAI | Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks. | Yuqian Jiang, Suda Bharadwaj, Bo Wu, Rishi Shah, Ufuk Topcu, Peter Stone |
| 2021 | AAAI | Smooth Convex Optimization Using Sub-Zeroth-Order Oracles. | Mustafa O. Karabag, Cyrus Neary, Ufuk Topcu |
| 2021 | AAAI | Advice-Guided Reinforcement Learning in a non-Markovian Environment. | Daniel Neider, Jean-Raphal Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu |
| 2021 | ACSSC | Collaborative Beamforming for Agents with Localization Errors. | Erfaun Noorani, Yagiz Savas, Alec Koppel, John S. Baras, Ufuk Topcu, Brian M. Sadler |
| 2021 | AISTATS | Algorithms for Fairness in Sequential Decision Making. | Min Wen, Osbert Bastani, Ufuk Topcu |
| 2021 | ATVA | Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. | Jean-Raphal Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu |
| 2021 | FM | Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. | Frantisek Blahoudek, Murat Cubuktepe, Petr Novotn, Melkior Ornik, Pranay Thangeda, Ufuk Topcu |
| 2021 | ICASSP | Physical-Layer Security via Distributed Beamforming in the Presence of Adversaries with Unknown Locations. | Yagiz Savas, Abolfazl Hashemi, Abraham P. Vinod, Brian M. Sadler, Ufuk Topcu |
| 2021 | IROS | Decentralized Classification with Assume-Guarantee Planning. | Steven Carr, Jesse Quattrociocchi, Suda Bharadwaj, Steven J. Spencer, Anup Parikh, Carol C. Young, Stephen P. Buerger, Bo Wu, Ufuk Topcu |
| 2021 | IROS | Self-Supervised Online Reward Shaping in Sparse-Reward Environments. | Farzan Memarian, Wonjoon Goo, Rudolf Lioutikov, Scott Niekum, Ufuk Topcu |
| 2021 | IROS | From Agile Ground to Aerial Navigation: Learning from Learned Hallucination. | Zizhao Wang, Xuesu Xiao, Alexander J. Nettekoven, Kadhiravan Umasankar, Anika Singh, Sriram Bommakanti, Ufuk Topcu, Peter Stone |
| 2021 | UAI | No-regret learning with high-probability in adversarial Markov decision processes. | Mahsa Ghasemi, Abolfazl Hashemi, Haris Vikalo, Ufuk Topcu |
| 2020 | CAV | Qualitative Controller Synthesis for Consumption Markov Decision Processes. | Frantisek Blahoudek, Toms Brzdil, Petr Novotn, Melkior Ornik, Pranay Thangeda, Ufuk Topcu |
| 2020 | COCOA | Reachability Games for Optimal Multi-agent Scheduling of Tasks with Variable Durations. | Dhananjay Raju, Niklas T. Lauffer, Ufuk Topcu |
| 2020 | ICML | Task-Oriented Active Perception and Planning in Environments with Partially Known Semantics. | Mahsa Ghasemi, Erdem Bulgur, Ufuk Topcu |
| 2020 | IJCAI | Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. | Steven Carr, Nils Jansen, Ufuk Topcu |
| 2020 | IJCAI | Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. | Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu |
| 2020 | ICRA | Near-Optimal Reactive Synthesis Incorporating Runtime Information. | Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu |
| 2020 | TACAS | Scenario-Based Verification of Uncertain MDPs. | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu |
| 2019 | ICML | Submodular Observation Selection and Information Gathering for Quadratic Models. | Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo, Ufuk Topcu |
| 2019 | ICMLA | An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing. | Yingshui Tan, Baihong Jin, Alexander J. Nettekoven, Yuxin Chen, Yisong Yue, Ufuk Topcu, Alberto L. Sangiovanni-Vincentelli |
| 2019 | IJCAI | Transfer of Temporal Logic Formulas in Reinforcement Learning. | Zhe Xu, Ufuk Topcu |
| 2019 | IJCAI | Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. | Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu |
| 2019 | IJCAI | Perception-Aware Point-Based Value Iteration for Partially Observable Markov Decision Processes. | Mahsa Ghasemi, Ufuk Topcu |
| 2019 | ICRA | Salty-A Domain Specific Language for GR(1) Specifications and Designs. | Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu |
| 2019 | IROS | Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions. | Rachel Schlossman, Minkyu Kim, Ufuk Topcu, Luis Sentis |
| 2018 | AAAI | Safe Reinforcement Learning via Shielding. | Mohammed Alshiekh, Roderick Bloem, Rdiger Ehlers, Bettina Knighofer, Scott Niekum, Ufuk Topcu |
| 2018 | ATVA | Synthesis in pMDPs: A Tale of 1001 Parameters. | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu |
| 2018 | ATVA | Maximum Realizability for Linear Temporal Logic Specifications. | Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu |
| 2018 | ICRA | Counterexamples for Robotic Planning Explained in Structured Language. | Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu |
| 2017 | IJCAI | Reduction Techniques for Model Checking and Learning in MDPs. | Suda Bharadwaj, Stphane Le Roux, Guillermo A. Prez, Ufuk Topcu |
| 2017 | IJCAI | Learning from Demonstrations with High-Level Side Information. | Min Wen, Ivan Papusha, Ufuk Topcu |
| 2017 | IROS | Classification error correction: A case study in brain-computer interfacing. | Hasan A. Poonawala, Mohammed Alshiekh, Scott Niekum, Ufuk Topcu |
| 2017 | TACAS | Sequential Convex Programming for the Efficient Verification of Parametric MDPs. | Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu |
| 2016 | CAV | Compositional Synthesis of Reactive Controllers for Multi-agent Systems. | Rajeev Alur, Salar Moarref, Ufuk Topcu |
| 2016 | IJCAI | Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications. | Min Wen, Ufuk Topcu |
| 2016 | ICRA | Optimal temporal logic planning in probabilistic semantic maps. | Jie Fu, Nikolay Atanasov, Ufuk Topcu, George J. Pappas |
| 2016 | IROS | Human-interpretable diagnostic information for robotic planning systems. | Lu Feng, Laura R. Humphrey, Insup Lee, Ufuk Topcu |
| 2016 | TACAS | Safety-Constrained Reinforcement Learning for MDPs. | Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen |
| 2016 | TACAS | An Automaton Learning Approach to Solving Safety Games over Infinite Graphs. | Daniel Neider, Ufuk Topcu |
| 2015 | ICRA | Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints. | Jie Fu, Ufuk Topcu |
| 2015 | IROS | Correct-by-synthesis reinforcement learning with temporal logic constraints. | Min Wen, Rdiger Ehlers, Ufuk Topcu |
| 2015 | TACAS | Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis. | Rajeev Alur, Salar Moarref, Ufuk Topcu |
| 2015 | TACAS | Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. | Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche |
| 2014 | ICRA | Optimization-based trajectory generation with linear temporal logic specifications. | Eric M. Wolff, Ufuk Topcu, Richard M. Murray |
| 2013 | FMCAD | Counter-strategy guided refinement of GR(1) temporal logic specifications. | Rajeev Alur, Salar Moarref, Ufuk Topcu |
| 2013 | ICNP | Automated synthesis of reactive controllers for software-defined networks. | Anduo Wang, Salar Moarref, Boon Thau Loo, Ufuk Topcu, Andre Scedrov |
| 2013 | IROS | Automaton-guided controller synthesis for nonlinear systems with temporal logic. | Eric M. Wolff, Ufuk Topcu, Richard M. Murray |
| 2013 | ICRA | Efficient reactive controller synthesis for a fragment of linear temporal logic. | Eric M. Wolff, Ufuk Topcu, Richard M. Murray |
| 2013 | SIGMETRICS | Exact convex relaxation for optimal power flow in distribution networks. | Lingwen Gan, Na Li, Steven H. Low, Ufuk Topcu |
| 2012 | ICRA | Towards formal synthesis of reactive controllers for dexterous robotic manipulation. | Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu, Joel W. Burdick, Richard M. Murray |
| 2007 | ACC | Stability Region Analysis Using Simulations and Sum-of-Squares Programming. | Ufuk Topcu, Andrew K. Packard, Peter J. Seiler, Timothy J. Wheeler |