U. Topcu

发表

Active Task-Inference-Guided Deep Inverse Reinforcement Learning

F. Memarian, Zhe Xu, Bo Wu, 2020, 2020 59th IEEE Conference on Decision and Control (CDC).

An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing

Alberto L. Sangiovanni-Vincentelli, Ufuk Topcu, Yisong Yue, 2019, 2019 18th IEEE International Conference On Machine Learning And Applications (ICMLA).

Correct , Reactive Robot Control from Abstraction and Temporal Logic Specifications

U. Topcu, Hadas Kress-Gazit, T. Wongpiromsarn, 2011 .

Local stability analysis using simulations and sum-of-squares programming

Ufuk Topcu, Peter Seiler, Andrew Packard, 2008, Autom..

Receding horizon control for temporal logic specifications

Ufuk Topcu, Richard M. Murray, Tichakorn Wongpiromsarn, 2010, HSCC '10.

Decentralized Multi-Agent Optimization via Dual Decomposition

R. Murray, U. Topcu, Håkan Terelius, 2011 .

Branch flow model for radial networks: convex relaxation

S. Low, U. Topcu, Na Li, 2012 .

Deceptive Decision-Making Under Uncertainty pdf

Ufuk Topcu, Yagiz Savas, Christos K. Verginis, 2021, AAAI.

Optimization-Based Constrained Iterative Learning Control

Ufuk Topcu, Masayoshi Tomizuka, Sandipan Mishra, 2011, IEEE Transactions on Control Systems Technology.

Parameter estimation with expected and residual-at-risk criteria

Giuseppe Carlo Calafiore, Ufuk Topcu, Laurent El Ghaoui, 2008, 2008 47th IEEE Conference on Decision and Control.

Multistage investments with recourse: A single-asset case with transaction costs

Giuseppe Carlo Calafiore, Ufuk Topcu, Laurent El Ghaoui, 2008, 2008 47th IEEE Conference on Decision and Control.

Human-inthe-Loop Synthesis for Partially Observable Markov Decision Processes

U. Topcu, Jie Fu, N. Jansen, 2018 .

Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications

Ufuk Topcu, Richard M. Murray, Eric M. Wolff, 2022 .

19-05 March 2019 Strategy synthesis for surveillance-evasion games with learning-enabled visibility optimization by

Bo Wu, U. Topcu, R. Tsai, 2022 .

Load-shedding probabilities with hybrid renewable power generation and energy storage

K. M. Chandy, S. Low, U. Topcu, 2010, 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

Synthesis of Switching Protocols from Temporal Logic Specifications

R. Murray, U. Topcu, Jun Liu, 2011 .

Faster non-convex federated learning via global and local momentum

Sujay Sanghavi, U. Topcu, Anish Acharya, 2020, UAI.

Uncertainty Quantification for Modular and Hierarchical Models *

M. Ortiz, U. Topcu, H. Owhadi, 2022 .

Exact Convex Relaxation of Optimal Power Flow in Tree Networks

S. Low, U. Topcu, Na Li, 2012, 1208.4076.

Quantitative local L2‐gain and Reachability analysis for nonlinear systems

Peter J Seiler, Ufuk Topcu, Gary J. Balas, 2013 .

Qualitative Controller Synthesis for Consumption Markov Decision Processes

Pranay Thangeda, Ufuk Topcu, Melkior Ornik, 2020, CAV.

Minimum-Fuel Powered Descent for Mars Pinpoint Landing

Ufuk Topcu, Jordi Casoliva, Kenneth D. Mease, 2007 .

FORMAL SPECIFICATION AND CORRECT-BY- CONSTRUCTION SYNTHESIS OF CONTROL PROTOCOLS FOR ADAPTABLE, HUMAN-EMBEDDED AUTONOMOUS SYSTEMS

U. Topcu, 2019 .

— PR EP R IN T — Uncertainty quantification via codimension-onepartitioning

U. Topcu, H. Owhadi, T. Sullivan, 2010 .

Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing

U. Topcu, David Fridovich-Keil, Zhe Xu, 2022, ArXiv.

Uncertainty quantification via codimension one domain partitioning and a new concentration inequality

U. Topcu, H. Owhadi, M. McKerns, 2010 .

S E ] 2 0 O ct 2 01 5 Safety-Constrained Reinforcement Learning for MDPs ⋆

U. Topcu, J. Katoen, Sebastian Junges, 2018 .

Robust Region-of-Attraction Estimation

Ufuk Topcu, Peter Seiler, Gary J. Balas, 2010, IEEE Transactions on Automatic Control.

Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics

Christos K. Verginis, U. Topcu, Sandeep P. Chinchali, 2022, ArXiv.

Abstraction-based Model Checking of POMDPs in Motion Planning ∗

B. Becker, U. Topcu, J. Katoen, 2017 .

Probabilistic Verification for Cognitive Models

U. Topcu, J. Katoen, Sebastian Junges, 2016, AAAI Fall Symposia.

Class-Aware Generative Adversarial Transformers for Medical Image Segmentation

J. Duncan, U. Topcu, L. Staib, 2022, ArXiv.

Additive Logistic Mechanism for Privacy-Preserving Self-Supervised Learning

U. Topcu, Yunhao Yang, Parham Gohari, 2022, ArXiv.

Collaborative one-shot beamforming under localization errors: A discrete optimization approach

Brian M. Sadler, J. Baras, U. Topcu, 2022, Signal Processing.

Uncertainty-Aware Signal Temporal logic pdf

Ufuk Topcu, Daniel Neider, Zhe Xu, 2021, ArXiv.

Deceptive Planning for Resource Allocation

Mustafa O. Karabag, U. Topcu, Yagiz Savas, 2022, ArXiv.

Quantitative nonlinear analysis of autocatalytic pathways with applications to glycolysis

J. Doyle, U. Topcu, Gentian Buzi, 2010, Proceedings of the 2010 American Control Conference.

On the Privacy Risks of Deploying Recurrent Neural Networks in Machine Learning Models

U. Topcu, Yunhao Yang, Parham Gohari, 2021, 2110.03054.

Vertiport Selection in Hybrid Air-Ground Transportation Networks via Mathematical Programs with Equilibrium Constraints

M. Mesbahi, U. Topcu, Yue Yu, 2022, IEEE Transactions on Control of Network Systems.

Scenario-Based Verification of Uncertain Parametric MDPs

Thom S. Badings, U. Topcu, J. Katoen, 2021, ArXiv.

Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs

Ufuk Topcu, Eric Goubault, Sylvie Putot, 2022, 2201.05715.

Relationship Design for Socially Desirable Behavior in Static Games

Yigit E. Bayiz, U. Topcu, Yue Yu, 2022, ArXiv.

Adversarial Examples for Model-Based Control: A Sensitivity Analysis

U. Topcu, Sandeep P. Chinchali, Po-han Li, 2022, 2022 58th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

Non-Parametric Neuro-Adaptive Formation Control

Christos K. Verginis, Zhe Xu, U. Topcu, 2022, ArXiv.

Learning Interpretable Temporal Properties from Positive Examples Only

U. Topcu, D. Neider, Rajarshi Roy, 2022, 2209.02650.

Safe Reinforcement Learning via Shielding under Partial Observability

U. Topcu, Sebastian Junges, N. Jansen, 2022, AAAI.

Human-Understandable Explanations of Infeasibility for Resource-Constrained Scheduling Problems

Niklas T. Lauffer, U. Topcu, 2019 .

Poisoning Attacks Against Data-Driven Predictive Control

U. Topcu, Sandeep P. Chinchali, Yue Yu, 2023, 2023 American Control Conference (ACC).

Learning-Based, Safety-Constrained Control from Scarce Data via Reciprocal Barriers

Christos K. Verginis, U. Topcu, Franck Djeumou, 2021, 2021 60th IEEE Conference on Decision and Control (CDC).

Categorical semantics of compositional reinforcement learning

U. Topcu, Georgios Bakirtzis, M. Savvas, 2022, ArXiv.

Differentially Private Timeseries Forecasts for Networked Control

U. Topcu, Sandeep P. Chinchali, Po-han Li, 2022, 2210.00358.

Probably Approximately Correct Learning in Adversarial Environments With Temporal Logic Specifications

Min Wen, U. Topcu, 2022, IEEE Transactions on Automatic Control.

Guaranteeing Safety via Active-Set Invariance Filters for Multi-Agent Space Systems with Coupled Dynamics*

Kerianne L. Hobbs, U. Topcu, Kerianne Hobbs, 2022, 2022 American Control Conference (ACC).

Assured Learning-Based Optimal Control subject to Timed Temporal Logic Constraints

Christos K. Verginis, K. Vamvoudakis, U. Topcu, 2021, 2021 60th IEEE Conference on Decision and Control (CDC).

Stochastic Distributed Control for Discrete Electric Vehicle Charging Optimization

S. Low, U. Topcu, Lingwen Gan, 2014 .

Alternating Direction Method of Multipliers for Decomposable Saddle-Point Problems

Mustafa O. Karabag, U. Topcu, David Fridovich-Keil, 2022, 2022 58th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

On-the-Fly Control of Unknown Nonlinear Systems With Sublinear Regret

Abraham P. Vinod, U. Topcu, Arie Israel, 2022, IEEE Transactions on Automatic Control.

Constrained, Global Optimization of Unknown Functions with Lipschitz Continuous Gradients

Abraham P. Vinod, U. Topcu, Arie Israel, 2022, SIAM J. Optim..

Class-Aware Adversarial Transformers for Medical Image Segmentation

Siyuan Dong, U. Topcu, L. Staib, 2022, NeurIPS.

Inverse Matrix Games With Unique Quantal Response Equilibrium

U. Topcu, David Fridovich-Keil, Yue Yu, 2022, IEEE Control Systems Letters.

Inverse Matrix Games with Unique Nash Equilibrium

U. Topcu, Yue Yu, David Fridovich-Keil, 2022, ArXiv.

A Survey of eVTOL Aircraft and AAM Operation Hazards

U. Topcu, G. Biswas, Steven Carr, 2022, AIAA AVIATION 2022 Forum.

Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks

U. Topcu, Cyrus Neary, 2022, ArXiv.

Scenario-based verification of uncertain parametric MDPs

Thom S. Badings, U. Topcu, J. Katoen, 2021, International Journal on Software Tools for Technology Transfer.

Sensor Placement for Online Fault Diagnosis

U. Topcu, Georgios Bakirtzis, Dhananjay Raju, 2022, ArXiv.

Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling

U. Topcu, É. Goubault, S. Putot, 2021, L4DC.

Online Poisoning Attacks Against Data-Driven Predictive Control

U. Topcu, Sandeep P. Chinchali, Ruihan Zhao, 2022, 2209.09108.

Hierarchical Control for Head-to-Head Autonomous Racing

U. Topcu, David Fridovich-Keil, Zhe Xu, 2022, 2202.12861.

Learning Automata-Based Task Knowledge Representation from Large-Scale Generative Language Models

U. Topcu, Yunhao Yang, Jean-Raphael Gaglione, 2022, ArXiv.

S Y ] 1 1 A pr 2 01 8 Privacy Verification in POMDPs via Barrier Certificates

Hai Lin, Bo Wu, U. Topcu, 2018 .

Manifold-Following Approximate Solution of Completely Hypersensitive Optimal Control Problems

U. Topcu, K. Mease, E. Aykutlug, 2016, Journal of Optimization Theory and Applications.

Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks

P. Stone, Bo Wu, U. Topcu, 2020, AAAI.

Planning Not to Talk: Multiagent Systems that are Robust to Communication Loss pdf

Ufuk Topcu, Mustafa O. Karabag, Cyrus Neary, 2022, AAMAS.

Reward Machines for Cooperative Multi-Agent Reinforcement Learning

Zhe Xu, Bo Wu, U. Topcu, 2020, AAMAS.

Model Checking for Safe Navigation Among Humans

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2018, QEST.

Safety-Constrained Reinforcement Learning for MDPs

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2015, TACAS.

Strategy Synthesis for Stochastic Rabin Games with Discounted Reward pdf

Ufuk Topcu, Min Wen, Min Wen, 2015, ArXiv.

Correct-by-synthesis reinforcement learning with temporal logic constraints

Ufuk Topcu, Rüdiger Ehlers, Min Wen, 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Differentially private convex optimization with piecewise affine objectives

Ufuk Topcu, George J. Pappas, Shuo Han, 2014, 53rd IEEE Conference on Decision and Control.

Private Convex Optimization with Piecewise Ane Objectives

Ufuk Topcu, George J. Pappas, Shuo Han, 2014 .

Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets

Ufuk Topcu, Mohamadreza Ahmadi, Murat Cubuktepe, 2018, ADHS.

Distributed Synthesis Using Accelerated ADMM

Ufuk Topcu, Mohamadreza Ahmadi, Murat Cubuktepe, 2018, 2018 Annual American Control Conference (ACC).

Constrained Cross-Entropy Method for Safe Reinforcement Learning

Ufuk Topcu, Min Wen, Min Wen, 2020, IEEE Transactions on Automatic Control.

Active Sampling-based Binary Verification of Dynamical Systems pdf

Ufuk Topcu, Jonathan P. How, Girish Chowdhary, 2017, ArXiv.

Region-of-convergence estimation for learning-based adaptive controllers

Ufuk Topcu, Jonathan P. How, Girish Chowdhary, 2016, 2016 American Control Conference (ACC).

Case Studies in Data-Driven Verification of Dynamical Systems

Ufuk Topcu, Jonathan P. How, Alexandar Kozarev, 2016, HSCC.

Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems

Ufuk Topcu, Andrew G. Lamperski, Tichakorn Wongpiromsarn, 2014, IEEE Transactions on Automatic Control.

Analysis of autocatalytic networks in biology

Ufuk Topcu, Gentian Buzi, John Doyle, 2011, Autom..

Help on SOS [Ask the Experts]

Peter J Seiler, Ufuk Topcu, Gary J. Balas, 2010 .

Compositional stability analysis based on dual decomposition

Ufuk Topcu, Richard M. Murray, Andrew Packard, 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

Linearized analysis versus optimization-based nonlinear analysis for nonlinear systems

Andrew Packard, Ufuk Topcu, A. Packard, 2009, 2009 American Control Conference.

Local robust performance analysis for nonlinear dynamical systems

Andrew Packard, Ufuk Topcu, A. Packard, 2009, 2009 American Control Conference.

Local Stability Analysis for Uncertain Nonlinear Systems

Ufuk Topcu, Andrew Packard, A. Packard, 2009, IEEE Transactions on Automatic Control.

Analytical Validation Tools for Safety Critical Systems

Ufuk Topcu, Gary J. Balas, Andrew Packard, 2009 .

Simulation-aided reachability and local gain analysis for nonlinear dynamical systems

Ufuk Topcu, Peter Seiler, Gary J. Balas, 2008, 2008 47th IEEE Conference on Decision and Control.

Quantitative local analysis of nonlinear systems

Ufuk Topcu, U. Topcu, 2008 .

Stability region analysis for uncertain nonlinear systems

Ufuk Topcu, Andrew Packard, A. Packard, 2007, 2007 46th IEEE Conference on Decision and Control.

Characterizing two-timescale nonlinear dynamics using finite-time Lyapunov exponents and subspaces

U. Topcu, M. Maggia, K. D. Mease, 2008, Commun. Nonlinear Sci. Numer. Simul..

Imperceptible electrooculography graphene sensor system for human–robot interface

Deji Akinwande, Nanshu Lu, Shideh Kabiri Ameri, 2018, npj 2D Materials and Applications.

Robust Finite-State Controllers for Uncertain POMDPs

U. Topcu, Sebastian Junges, N. Jansen, 2020, AAAI.

Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization pdf

Ufuk Topcu, Murat Cubuktepe, Nils Jansen, 2020, IJCAI.

Scenario-Based Verification of Uncertain MDPs

U. Topcu, J. Katoen, Sebastian Junges, 2019, TACAS.

Robust control of uncertain Markov Decision Processes with temporal logic specifications

Ufuk Topcu, Richard M. Murray, Eric M. Wolff, 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

On Controllability and Persistency of Excitation in Data-Driven Control: Extensions of Willems’ Fundamental Lemma

M. Mesbahi, U. Topcu, Yue Yu, 2021, 2021 60th IEEE Conference on Decision and Control (CDC).

Receding Horizon Temporal Logic Planning

Ufuk Topcu, Richard M. Murray, Tichakorn Wongpiromsarn, 2012, IEEE Transactions on Automatic Control.

Optimization-based trajectory generation with linear temporal logic specifications

Ufuk Topcu, Richard M. Murray, Eric M. Wolff, 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

Automaton-guided controller synthesis for nonlinear systems with temporal logic

Ufuk Topcu, Richard M. Murray, Eric M. Wolff, 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

Rigorous uncertainty quantification without integral testing

Ufuk Topcu, Houman Owhadi, Michael Ortiz, 2011, Reliab. Eng. Syst. Saf..

Uncertainty quantification via codimension‐one partitioning

Ufuk Topcu, Houman Owhadi, U. Topcu, 2011 .

Sensor Synthesis for POMDPs with Reachability Objectives

Ufuk Topcu, Krishnendu Chatterjee, Martin Chmelik, 2017, ICAPS.

MaxSAT-based temporal logic inference from noisy data

U. Topcu, D. Neider, Rajarshi Roy, 2022, Innovations in Systems and Software Engineering.

Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach pdf

Ufuk Topcu, Daniel Neider, Zhe Xu, 2021, ArXiv.

Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach

Ufuk Topcu, Daniel Neider, Rajarshi Roy, 2021, ATVA.

Safe Multi-Agent Reinforcement Learning via Shielding

Ufuk Topcu, Christopher Amato, Suda Bharadwaj, 2021, AAMAS.

Safe Reinforcement Learning via Shielding

Ufuk Topcu, Rüdiger Ehlers, Scott Niekum, 2017, AAAI.

Environment-Independent Task Specifications via GLTL pdf

Ufuk Topcu, Jie Fu, Min Wen, 2017, ArXiv.

Deception in Optimal Control

Ufuk Topcu, Melkior Ornik, U. Topcu, 2018, 2018 56th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

Self-Supervised Online Reward Shaping in Sparse-Reward Environments

Rudolf Lioutikov, S. Niekum, F. Memarian, 2021, 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Parameter-Dependent Lyapunov Functions for Linear Systems With Constant Uncertainties

Ufuk Topcu, Peter Seiler, Gary J. Balas, 2009, IEEE Transactions on Automatic Control.

Receding horizon temporal logic planning for dynamical systems

Ufuk Topcu, Richard M. Murray, Tichakorn Wongpiromsarn, 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

Constrained, Global Optimization of Functions with Lipschitz Continuous Gradients.

Ufuk Topcu, Abraham P. Vinod, Arie Israel, 2020, 2011.08997.

Safe Controller Synthesis for Data-Driven Differential Inclusions

Ufuk Topcu, Mohamadreza Ahmadi, Arie Israel, 2020, IEEE Transactions on Automatic Control.

Controller Synthesis for Safety of Physically-Viable Data-Driven Models

Ufuk Topcu, Mohamadreza Ahmadi, Arie Israel, 2018, 1801.04072.

Using Lyapunov Vectors and Dichotomy to Solve Hyper-Sensitive Optimal Control Problems

U. Topcu, K.D. Mease, U. Topcu, 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

Lyapunov Exponents and Vectors for Determining the Geometric Structure of Nonlinear Dynamical Systems

Ufuk Topcu, Faryar Jabbari, Kenneth D. Mease, 2005 .

Shield synthesis

Ufuk Topcu, Chao Wang, Bettina Könighofer, 2017, Formal Methods Syst. Des..

Human-interpretable diagnostic information for robotic planning systems

Ufuk Topcu, Lu Feng, Insup Lee, 2016, 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality

Abraham P. Vinod, U. Topcu, M. Hibbard, 2022, IEEE Transactions on Robotics.

From Agile Ground to Aerial Navigation: Learning from Learned Hallucination

Ufuk Topcu, Peter Stone, Xuesu Xiao, 2021, 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems

Ufuk Topcu, Lu Feng, Clemens Wiltsche, 2016, IEEE Transactions on Automation Science and Engineering.

A Barrier Pair Method for Safe Human-Robot Shared Autonomy pdf

Ufuk Topcu, Mahsa Ghasemi, Luis Sentis, 2021, 2021 60th IEEE Conference on Decision and Control (CDC).

Entropy Maximization for Partially Observable Markov Decision Processes

Ufuk Topcu, Yagiz Savas, Takashi Tanaka, 2021, IEEE Transactions on Automatic Control.

Online Active Perception for Partially Observable Markov Decision Processes with Limited Budget

Ufuk Topcu, Mahsa Ghasemi, U. Topcu, 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

Perception-Aware Point-Based Value Iteration for Partially Observable Markov Decision Processes

Ufuk Topcu, Mahsa Ghasemi, U. Topcu, 2019, IJCAI.

Unpredictable Planning Under Partial Observability

Ufuk Topcu, Bo Wu, Yagiz Savas, 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

Safe Reinforcement Learning via Shielding for POMDPs

U. Topcu, Sebastian Junges, N. Jansen, 2022, ArXiv.

Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes

U. Topcu, N. Jansen, Steven Carr, 2021, J. Artif. Intell. Res..

Simultaneous Perception-Action Design via Invariant Finite Belief Sets pdf

Ufuk Topcu, Michael Hibbard, Takashi Tanaka, 2021, ArXiv.

Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions

Sebastian Junges, Ufuk Topcu, Joost-Pieter Katoen, 2020, IEEE Transactions on Automatic Control.

Control Theory Meets POMDPs: A Hybrid Systems Approach pdf

Nils Jansen, Ufuk Topcu, Mohamadreza Ahmadi, 2019, IEEE Transactions on Automatic Control.

Constrained Active Classification Using Partially Observable Markov Decision Processes pdf

Ufuk Topcu, Bo Wu, Suda Bharadwaj, 2018, ArXiv.

Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks

Nils Jansen, Ufuk Topcu, Bernd Becker, 2019, IJCAI.

Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes

Ufuk Topcu, Mohamadreza Ahmadi, Bo Wu, 2018, 2019 American Control Conference (ACC).

Privacy Verification and Enforcement via Belief Manipulation

Ufuk Topcu, Bo Wu, Hai Lin, 2019 .

Verification of Uncertain POMDPs Using Barrier Certificates

Nils Jansen, Ufuk Topcu, Mohamadreza Ahmadi, 2018, 2018 56th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes

Nils Jansen, Ufuk Topcu, Jie Fu, 2018, 2018 Annual American Control Conference (ACC).

Strategy Synthesis in POMDPs via Game-Based Abstractions

Sebastian Junges, Ufuk Topcu, Bernd Becker, 2017, 1708.04236.

Motion planning under partial observability using game-based abstraction

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

Filter-based stochastic abstractions for constrained planning with limited sensing

Ufuk Topcu, Hasan Poonawala, Hasan A. Poonawala, 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

Abstractions and sensor design in partial-information, reactive controller synthesis

Ufuk Topcu, Jie Fu, Rayna Dimitrova, 2014, 2014 American Control Conference.

Learning Sparse Control Tasks from Pixels by Latent Nearest-Neighbor-Guided Explorations

U. Topcu, Sandeep P. Chinchali, Mariano Phielipp, 2023, ArXiv.

Optimal decentralized protocol for electric vehicle charging

Ufuk Topcu, Steven H. Low, Lingwen Gan, 2011, IEEE Transactions on Power Systems.

Randomized Greedy Sensor Selection: Leveraging Weak Submodularity

Ufuk Topcu, Mahsa Ghasemi, Haris Vikalo, 2018, IEEE Transactions on Automatic Control.

Transfer of Temporal Logic Formulas in Reinforcement Learning

Ufuk Topcu, Zhe Xu, Zhe Xu, 2019, IJCAI.

Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching pdf

Ufuk Topcu, Murat Cubuktepe, Zhe Xu, 2020, IEEE Transactions on Automatic Control.

Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis

Ufuk Topcu, Bo Wu, Murat Cubuktepe, 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

Advice-Guided Reinforcement Learning in a non-Markovian Environment

Ufuk Topcu, Bo Wu, Zhe Xu, 2021, AAAI.

Exact Convex Relaxation of Optimal Power Flow in Radial Networks

Ufuk Topcu, Na Li, Steven H. Low, 2013, IEEE Transactions on Automatic Control.

Design and Stability of Load-Side Primary Frequency Control in Power Systems

Ufuk Topcu, Na Li, Steven H. Low, 2013, IEEE Transactions on Automatic Control.

Optimal Load Control via Frequency Measurement and Neighborhood Area Communication

Ufuk Topcu, Steven H. Low, Changhong Zhao, 2013, IEEE Transactions on Power Systems.

Power System Dynamics as Primal-Dual Algorithm for Optimal Load Control pdf

Ufuk Topcu, Na Li, Steven H. Low, 2013, ArXiv.

Swing dynamics as primal-dual algorithm for optimal load control

Ufuk Topcu, Steven H. Low, Changhong Zhao, 2012, 2012 IEEE Third International Conference on Smart Grid Communications (SmartGridComm).

Fast load control with stochastic frequency measurement

U. Topcu, Changhong Zhao, S. H. Low, 2012, 2012 IEEE Power and Energy Society General Meeting.

Frequency-based load control in power systems

Ufuk Topcu, Steven H. Low, Changhong Zhao, 2012, 2012 American Control Conference (ACC).

Towards smart, flexible and efficient power systems: Vision and research challenges

Ufuk Topcu, Pramod P. Khargonekar, Steven H. Low, 2013, 2013 American Control Conference.

Some problems in demand side management

Ufuk Topcu, Steven H. Low, Libin Jiang, 2012, Proceedings of The 2012 Asia Pacific Signal and Information Processing Association Annual Summit and Conference.

Risk-mitigated optimal power flow for wind powered grids

Ufuk Topcu, Dennice F. Gayme, Emma Sjodin, 2012, 2012 American Control Conference (ACC).

Classification error correction: A case study in brain-computer interfacing

Ufuk Topcu, Scott Niekum, Hasan Poonawala, 2017, 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Multiscale heterogeneous optimal lockdown control for COVID-19 using geographic information

Niklas T. Lauffer, Alexander J. Phillips, U. Topcu, 2022, Scientific Reports.

Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust pdf

Ashley J. Llorens, Howard Shrobe, Missy Cummings, 2020, ArXiv.

Differentially Private Distributed Constrained Optimization

Ufuk Topcu, George J. Pappas, Shuo Han, 2014, IEEE Transactions on Automatic Control.

Controller synthesis for autonomous systems interacting with human operators

Ufuk Topcu, Lu Feng, Clemens Wiltsche, 2015, ICCPS.

Learning and Planning for Time-Varying MDPs Using Maximum Likelihood Estimation pdf

Ufuk Topcu, Melkior Ornik, U. Topcu, 2019, J. Mach. Learn. Res..

Class-Aware Generative Adversarial Transformers for Medical Image Segmentation

Ufuk Topcu, James S. Duncan, Sandeep Chinchali, 2022, ArXiv.

Automaton-Based Representations of Task Knowledge from Generative Language Models

U. Topcu, Yunhao Yang, Jean-Raphael Gaglione, 2022, 2212.01944.

SAFETY-GUARANTEED TASK PLANNING FOR BIPEDAL NAVIGATION IN PARTIALLY OBSERVABLE ENVIRONMENTS

U. Topcu, Ye Zhao, M. Cao, 2021 .

Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments pdf

Ye Zhao, Ufuk Topcu, Yinan Li, 2018, Int. J. Robotics Res..

Synthesis of Surveillance Strategies via Belief Abstraction

Ufuk Topcu, Rayna Dimitrova, Suda Bharadwaj, 2017, 2018 IEEE Conference on Decision and Control (CDC).

Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approach

Bo Wu, U. Topcu, Zhe Xu, 2020, PloS one.

An approximately truthful mechanism for electric vehicle charging via joint differential privacy

Ufuk Topcu, George J. Pappas, Shuo Han, 2015, 2015 American Control Conference (ACC).

Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations pdf

Ufuk Topcu, Emilio Frazzoli, Tichakorn Wongpiromsarn, 2020, 2021 American Control Conference (ACC).

BP-RRT: Barrier Pair Synthesis for Temporal Logic Motion Planning

Ufuk Topcu, Luis Sentis, Binghan He, 2020, 2020 59th IEEE Conference on Decision and Control (CDC).

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints pdf

Ufuk Topcu, Nils Jansen, Steven Carr, 2020, IJCAI.

Joint Inference of Reward Machines and Policies for Reinforcement Learning

Zhe Xu, Bo Wu, U. Topcu, 2019, ICAPS.

TuLiP: a software toolbox for receding horizon temporal logic planning

Ufuk Topcu, Richard M. Murray, Huan Xu, 2011, HSCC '11.

O ct 2 01 2 Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication – Technical Report

R. Murray, U. Topcu, Clemens Wiltsche, 2018 .

Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication pdf

Ufuk Topcu, Richard M. Murray, Clemens Wiltsche, 2012, ArXiv.

Robust Training in High Dimensions via Block Coordinate Geometric Median Descent pdf

Ufuk Topcu, Inderjit S. Dhillon, Prateek Jain, 2021, AISTATS.

Synthesis of Control Protocols for Autonomous Systems

Ufuk Topcu, Richard M. Murray, Tichakorn Wongpiromsarn, 2013 .

Control-Oriented Learning on the Fly

Ufuk Topcu, Melkior Ornik, Arie Israel, 2017, IEEE Transactions on Automatic Control.

Myopic Control of Systems with Unknown Dynamics

Ufuk Topcu, Melkior Ornik, Steven Carr, 2019, 2019 American Control Conference (ACC).

Generalization bounds for sparse random feature expansions

Ufuk Topcu, Hayden Schaeffer, Giang Tran, 2021, Applied and Computational Harmonic Analysis.

Function Approximation via Sparse Random Features pdf

Ufuk Topcu, Hayden Schaeffer, Giang Tran, 2021, ArXiv.

Algorithms for Fairness in Sequential Decision Making

Ufuk Topcu, Osbert Bastani, Min Wen, 2019, AISTATS.

No-Regret Learning in Dynamic Stackelberg Games

Niklas T. Lauffer, U. Topcu, Yagiz Savas, 2022, ArXiv.

On Minimizing Total Discounted Cost in MDPs Subject to Reachability Constraints

Ufuk Topcu, Yagiz Savas, Christos K. Verginis, 2021, 2103.09295.

Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing

U. Topcu, David Fridovich-Keil, Zhe Xu, 2022, ArXiv.

Hierarchical Control for Head-to-Head Autonomous Racing

U. Topcu, David Fridovich-Keil, Zhe Xu, 2022, 2202.12861.

The Partially Observable Games We Play for Cyber Deception pdf

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2018, ArXiv.

Control-Oriented Learning of Lagrangian and Hamiltonian Systems

Ufuk Topcu, Clarence W. Rowley, Mohamadreza Ahmadi, 2018, 2018 Annual American Control Conference (ACC).

Safety assessemt based on physically-viable data-driven models

Ufuk Topcu, Mohamadreza Ahmadi, Arie Israel, 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

Resilience to intermittent assumption violations in reactive synthesis

Ufuk Topcu, Rüdiger Ehlers, U. Topcu, 2014, HSCC.

Stability region estimation for systems with unmodeled dynamics

Ufuk Topcu, Peter Seiler, Gary J. Balas, 2009, 2009 European Control Conference (ECC).

Entropy-Regularized Stochastic Games

Ufuk Topcu, Mohamadreza Ahmadi, Yagiz Savas, 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

Optimal power flow in tree networks

Ufuk Topcu, Na Li, Steven H. Low, 2013, 52nd IEEE Conference on Decision and Control.

Convexifying optimal power flow: Recent advances in OPF solution methods

Ufuk Topcu, Steven H. Low, Dennice F. Gayme, 2013, 2013 American Control Conference.

Optimal power flow with large-scale storage integration

Ufuk Topcu, Dennice Gayme, U. Topcu, 2013, IEEE Transactions on Power Systems.

Optimal placement of energy storage in the grid

Ufuk Topcu, K. Mani Chandy, K. M. Chandy, 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

On the exactness of convex relaxation for optimal power flow in tree networks

Ufuk Topcu, Na Li, Steven H. Low, 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

Privacy Verification in POMDPs via Barrier Certificates

Hai Lin, Ufuk Topcu, Mohamadreza Ahmadi, 2018, 2018 IEEE Conference on Decision and Control (CDC).

Automatic Synthesis of Robust Embedded Control Software

Ufuk Topcu, Richard M. Murray, Tichakorn Wongpiromsarn, 2010, AAAI Spring Symposium: Embedded Reasoning.

Optimal Control with Weighted Average Costs and Temporal Logic Specifications

Ufuk Topcu, Richard M. Murray, Eric M. Wolff, 2012, Robotics: Science and Systems.

Training classifiers for feedback control with safety in mind

Ufuk Topcu, Hasan Poonawala, Hasan A. Poonawala, 2021, Autom..

Blending Controllers via Multi-Objective Bandits pdf

Ufuk Topcu, Abraham P. Vinod, Parham Gohari, 2020, 2022 American Control Conference (ACC).

Collaborative Beamforming for Agents with Localization Errors

J. Baras, U. Topcu, Alec Koppel, 2021, 2021 55th Asilomar Conference on Signals, Systems, and Computers.

Collaborative Beamforming Under Localization Errors: A Discrete Optimization Approach

J. Baras, U. Topcu, Alec Koppel, 2021 .

Compositional and symbolic synthesis of reactive controllers for multi-agent systems

Ufuk Topcu, Rajeev Alur, Salar Moarref, 2018, Inf. Comput..

Cost Design in Atomic Routing Games

U. Topcu, Yue Yu, David Fridovich-Keil, 2022, 2023 American Control Conference (ACC).

Differentially private distributed protocol for electric vehicle charging

Ufuk Topcu, George J. Pappas, Shuo Han, 2014, 2014 52nd Annual Allerton Conference on Communication, Control, and Computing (Allerton).

Differentially Private Timeseries Forecasts for Networked Control

U. Topcu, Sandeep P. Chinchali, Po-han Li, 2022, 2023 American Control Conference (ACC).

Convex Optimization for Parameter Synthesis in MDPs pdf

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2021, IEEE Transactions on Automatic Control.

Verification of Markov Decision Processes with Risk-Sensitive Measures

Ufuk Topcu, Murat Cubuktepe, U. Topcu, 2018, 2018 Annual American Control Conference (ACC).

How to Learn and Generalize From Three Minutes of Data: Physics-Constrained and Uncertainty-Aware Neural Stochastic Differential Equations

U. Topcu, Cyrus Neary, Franck Djeumou, 2023, 2306.06335.

Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks

U. Topcu, Cyrus Neary, 2022, L4DC.

Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints

Ufuk Topcu, Yagiz Savas, Melkior Ornik, 2018, IEEE Transactions on Automatic Control.

Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning pdf

Ufuk Topcu, Murat Cubuktepe, Frantivsek Blahoudek, 2021, IEEE Transactions on Control of Network Systems.

Task-aware Distributed Source Coding under Dynamic Bandwidth

Hossein Nourkhiz Mahjoub, U. Topcu, Sandeep P. Chinchali, 2023, ArXiv.

Active Sampling for Closed-Loop Statistical Verification of Uncertain Nonlinear Systems

Ufuk Topcu, Jonathan P. How, Girish Chowdhary, 2018, 2018 Annual American Control Conference (ACC).

Active Sampling for Constrained Simulation-based Verification of Uncertain Nonlinear Systems pdf

Ufuk Topcu, Jonathan P. How, Girish Chowdhary, 2017, ArXiv.

Real-time deferrable load control: handling the uncertainties of renewable generation

Adam Wierman, Ufuk Topcu, Steven H. Low, 2013, e-Energy '13.

Multiple Plans are Better than One: Diverse Stochastic Planning pdf

Ufuk Topcu, Bo Zhao, Mahsa Ghasemi, 2020, ICAPS.

Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach pdf

Ufuk Topcu, Murat Cubuktepe, Franck Djeumou, 2021, IEEE Transactions on Automatic Control.

Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications

Ufuk Topcu, Zhe Xu, Franck Djeumou, 2020, Robotics: Science and Systems.

Efficient reactive controller synthesis for a fragment of linear temporal logic

Ufuk Topcu, Richard M. Murray, Eric M. Wolff, 2013, 2013 IEEE International Conference on Robotics and Automation.

Deception in Supervisory Control

Mustafa O. Karabag, U. Topcu, Melkior Ornik, 2019, IEEE Transactions on Automatic Control.

Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints

Ufuk Topcu, Jie Fu, U. Topcu, 2016, IEEE Transactions on Automatic Control.

Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations

Ufuk Topcu, Jie Fu, U. Topcu, 2014, 2015 American Control Conference (ACC).

Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic

Ufuk Topcu, Richard M. Murray, Eric M. Wolff, 2013, 52nd IEEE Conference on Decision and Control.

Reachability Games for Optimal Multi-agent Scheduling of Tasks with Variable Durations

Ufuk Topcu, Dhananjay Raju, Niklas T. Lauffer, 2020, COCOA.

Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization

Ufuk Topcu, Suda Bharadwaj, Bo Wu, 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

Manifold-Following Approximate Solution of Completely Hypersensitive Optimal Control Problems

Ufuk Topcu, Kenneth D. Mease, Erkut Aykutlug, 2016, J. Optim. Theory Appl..

Two-Timescale Nonlinear Dynamics and Slow Manifold Determination

Ufuk Topcu, U. Topcu, 2005 .

Reward-Based Deception with Cognitive Bias

Ufuk Topcu, Murat Cubuktepe, Bo Wu, 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

On the Privacy Risks of Deploying Recurrent Neural Networks in Machine Learning Models

U. Topcu, Yunhao Yang, Parham Gohari, 2021, Proc. Priv. Enhancing Technol..

Learning to Reach, Swim, Walk and Fly in One Trial: Data-Driven Control with Scarce Data and Side Information pdf

Ufuk Topcu, Franck Djeumou, U. Topcu, 2021, L4DC.

Reinforcement Learning With Reward Machines in Stochastic Games

U. Topcu, Yanze Wang, Zhe Xu, 2023, arXiv.org.

Soft-Bellman Equilibrium in Affine Markov Games: Forward Solutions and Inverse Learning

U. Topcu, Yue Yu, David Fridovich-Keil, 2023, arXiv.org.

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples

Zhe Xu, Bo Wu, U. Topcu, 2020, CD-MAKE.

On the Sample Complexity of Vanilla Model-Based Offline Reinforcement Learning with Dependent Samples

Mustafa O. Karabag, U. Topcu, 2023, AAAI.

Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications pdf

Ufuk Topcu, Murat Cubuktepe, Zhe Xu, 2020, IEEE Transactions on Control of Network Systems.

Fairness with Dynamics pdf

Ufuk Topcu, Min Wen, Osbert Bastani, 2019, ArXiv.

No-regret learning with high-probability in adversarial Markov decision processes

Ufuk Topcu, Mahsa Ghasemi, Haris Vikalo, 2021, UAI.

Efficient Sensitivity Analysis for Parametric Robust Markov Chains

Thom S. Badings, U. Topcu, Sebastian Junges, 2023, ArXiv.

On distributed charging control of electric vehicles with power network capacity constraints

Ufuk Topcu, Vijay Gupta, Wann-Jiun Ma, 2014, 2014 American Control Conference.

Fuel Efficient Powered Descent Guidance for Mars Landing

Kenneth D. Mease, Ufuk Topcu, Jordi Casoliva, 2005 .

Automaton-Based Representations of Task Knowledge from Generative Language Models

U. Topcu, Yunhao Yang, Jean-Raphael Gaglione, 2022, 2212.01944.

Proportional-Integral Projected Gradient Method for Infeasibility Detection in Conic Optimization pdf

Ufuk Topcu, Yue Yu, U. Topcu, 2021, ArXiv.

Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization

U. Topcu, Takashi Tanaka, Murat Cubuktepe, 2020, 2020 59th IEEE Conference on Decision and Control (CDC).

Dynamic Certification for Autonomous Systems

D. Danks, U. Topcu, Steven Carr, 2022, Communications of the ACM.

Synthesis of Reactive Switching Protocols From Temporal Logic Specifications

Ufuk Topcu, Richard M. Murray, Necmiye Ozay, 2013, IEEE Transactions on Automatic Control.

Physical-Layer Security via Distributed Beamforming in the Presence of Adversaries with Unknown Locations

Brian M. Sadler, Ufuk Topcu, Yagiz Savas, 2021, ICASSP 2021 - 2021 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics

Christos K. Verginis, U. Topcu, Sandeep P. Chinchali, 2022, ArXiv.

Proportional-Integral Projected Gradient Method for Conic Optimization pdf

Ufuk Topcu, Behccet Accikmecse, Yue Yu, 2021, Autom..

Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs

U. Topcu, É. Goubault, S. Putot, 2022, IJCAI.

Autonomous Drifting with 3 Minutes of Data via Learned Tire Models

Jonathan Y. Goh, U. Topcu, Franck Djeumou, 2023, IEEE International Conference on Robotics and Automation.

On-The-Fly Control of Unknown Smooth Systems from Limited Data pdf

Ufuk Topcu, Sylvie Putot, Abraham P. Vinod, 2020, 2021 American Control Conference (ACC).

Automated synthesis of reactive controllers for software-defined networks

Ufuk Topcu, Boon Thau Loo, Andre Scedrov, 2013, 2013 21st IEEE International Conference on Network Protocols (ICNP).

Correct, Reactive, High-Level Robot Control

Ufuk Topcu, Hadas Kress-Gazit, Tichakorn Wongpiromsarn, 2011, IEEE Robotics & Automation Magazine.

Salty-A Domain Specific Language for GR(1) Specifications and Designs

Ufuk Topcu, Lee Pike, Laura R. Humphrey, 2019, 2019 International Conference on Robotics and Automation (ICRA).

Task-Guided Inverse Reinforcement Learning Under Partial Information pdf

Ufuk Topcu, Murat Cubuktepe, Craig Lennon, 2021, ICAPS.

Learning from Demonstrations with High-Level Side Information

Ufuk Topcu, Min Wen, Ivan Papusha, 2017, IJCAI.

Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications

Ufuk Topcu, Murat Cubuktepe, Zhe Xu, 2020, AAMAS.

Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications

Ufuk Topcu, Min Wen, Min Wen, 2016, IJCAI.

Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints pdf

Ufuk Topcu, Jie Fu, U. Topcu, 2014, Robotics: Science and Systems.

Optimal Deceptive and Reference Policies for Supervisory Control

Ufuk Topcu, Melkior Ornik, Mustafa O. Karabag, 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

Entropy Maximization for Constrained Markov Decision Processes

Ufuk Topcu, Yagiz Savas, Melkior Ornik, 2018, 2018 56th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

Optimal control in Markov decision processes via distributed optimization

Ufuk Topcu, Jie Fu, Shuo Han, 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

Differential Privacy on the Unit Simplex via the Dirichlet Mechanism

Ufuk Topcu, Bo Wu, Parham Gohari, 2021, IEEE Transactions on Information Forensics and Security.

A sublinear algorithm for barrier-certificate-based data-driven model validation of dynamical systems

Ufuk Topcu, George J. Pappas, Shuo Han, 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

Value of forecasts in planning under uncertainty

Ufuk Topcu, George J. Pappas, Konstantinos Gatsis, 2015, 2015 American Control Conference (ACC).

Value of forecasts in planning under uncertainty: Extended version

Ufuk Topcu, George J. Pappas, Konstantinos Gatsis, 2015, 1503.04093.

Convex Optimal Uncertainty Quantification

Ufuk Topcu, Richard M. Murray, Houman Owhadi, 2013, SIAM J. Optim..

Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids

Ufuk Topcu, Richard M. Murray, Houman Owhadi, 2013, 2013 American Control Conference.

Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles

Ufuk Topcu, Eric M. Wolff, Laura R. Humphrey, 2014, AAAI Spring Symposia.

Characterizing two-timescale nonlinear dynamics using finite-time Lyapunov exponents and vectors

Ufuk Topcu, Kenneth D. Mease, Erkut Aykutlug, 2008 .

Quantitative Local Analysis for Nonlinear Systems

A. Packard, G. Balas, U. Topcu, 2011 .

Reward-Machine-Guided, Self-Paced Reinforcement Learning

U. Topcu, Cevahir Köprülü, 2023, AAMAS.

Verifiable and Compositional Reinforcement Learning Systems

Christos K. Verginis, U. Topcu, Murat Cubuktepe, 2021, ICAPS.

Online Learning with Implicit Exploration in Episodic Markov Decision Processes

Ufuk Topcu, Mahsa Ghasemi, Haris Vikalo, 2021, 2021 American Control Conference (ACC).

Identity Concealment Games: How I Learned to Stop Revealing and Love the Coincidences pdf

Ufuk Topcu, Melkior Ornik, Mustafa O. Karabag, 2021, Automatica.

Risk-aware curriculum generation for heavy-tailed task distributions

U. Topcu, N. Jansen, T. D. Simão, 2023, Conference on Uncertainty in Artificial Intelligence.

Reinforcement Learning with Temporal-Logic-Based Causal Diagrams

U. Topcu, D. Neider, Rajarshi Roy, 2023, CD-MAKE.

Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks pdf

Ufuk Topcu, Peter Stone, Bo Wu, 2020, ArXiv.

Multimodal Pretrained Models for Sequential Decision-Making: Synthesis, Verification, Grounding, and Perception

U. Topcu, Yunhao Yang, Cyrus Neary, 2023, ArXiv.

Active Task-Inference-Guided Deep Inverse Reinforcement Learning

Ufuk Topcu, Min Wen, Bo Wu, 2020, 2020 59th IEEE Conference on Decision and Control (CDC).

Learning Interpretable Temporal Properties from Positive Examples Only

U. Topcu, D. Neider, Rajarshi Roy, 2022, AAAI.

Uncertainty-Aware Signal Temporal logic

Ufuk Topcu, Daniel Neider, Zhe Xu, 2021, VSTTE.

Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences

Yuxin Chen, U. Topcu, Zhe Xu, 2020, ArXiv.

Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization

Nils Jansen, Ufuk Topcu, Murat Cubuktepe, 2020, International Joint Conference on Artificial Intelligence.

Verifiable autonomy under perceptual limitations

U. Topcu, 2021 .

Synthesis in pMDPs: A Tale of 1001 Parameters

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2018, ATVA.

Active Inverse Learning in Stackelberg Trajectory Games

U. Topcu, Negar Mehr, Yue Yu, 2023, ArXiv.

Identifying Sparse Low-Dimensional Structures in Markov Chains: A Nonnegative Matrix Factorization Approach

U. Topcu, H. Vikalo, Abolfazl Hashemi, 2019, 2020 American Control Conference (ACC).

Task-Oriented Active Perception and Planning in Environments with Partially Known Semantics

Ufuk Topcu, Mahsa Ghasemi, Erdem Arinc Bulgur, 2020, ICML.

On Submodularity of Quadratic Observation Selection in Constrained Networked Sensing Systems

Ufuk Topcu, Mahsa Ghasemi, Haris Vikalo, 2019, 2019 American Control Conference (ACC).

Submodular Observation Selection and Information Gathering for Quadratic Models

U. Topcu, H. Vikalo, Abolfazl Hashemi, 2019, ICML.

A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks

Ufuk Topcu, Haris Vikalo, Abolfazl Hashemi, 2017, 2018 Annual American Control Conference (ACC).

Reinforcement Learning With Reward Machines in Stochastic Games

U. Topcu, Yanze Wang, Zhe Xu, 2023, ArXiv.

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints

Ufuk Topcu, Steven Carr, Nils Jansen, 2020, International Joint Conference on Artificial Intelligence.

Reduction Techniques for Model Checking and Learning in MDPs

Ufuk Topcu, Guillermo A. Pérez, Stéphane Le Roux, 2017, IJCAI.

Task-Guided IRL in POMDPs that Scales

U. Topcu, Craig T. Lennon, Murat Cubuktepe, 2022, Artif. Intell..

Safe Policies for Factored Partially Observable Stochastic Games

Nils Jansen, Ufuk Topcu, Matthijs T. J. Spaan, 2021, Robotics: Science and Systems.

Maximum Realizability for Linear Temporal Logic Specifications pdf

Ufuk Topcu, Rayna Dimitrova, Mahsa Ghasemi, 2018, ATVA.

Safety-Constrained Learning and Control using Scarce Data and Reciprocal Barriers pdf

Ufuk Topcu, Christos K. Verginis, Franck Djeumou, 2021, ArXiv.

Distributed power allocation for vehicle management systems

Ufuk Topcu, Richard M. Murray, Necmiye Ozay, 2011, IEEE Conference on Decision and Control and European Control Conference.

Distributed Synthesis of Control Protocols for Smart Camera Networks

Ufuk Topcu, Richard M. Murray, Necmiye Ozay, 2011, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

A simple optimal power flow model with energy storage

Ufuk Topcu, K. Mani Chandy, Huan Xu, 2010, 49th IEEE Conference on Decision and Control (CDC).

Correct, Reactive, High-Level Robot Control

U. Topcu, H. Kress-Gazit, T. Wongpiromsarn, 2011, IEEE Robotics Autom. Mag..

Formal Synthesis of Embedded Control Software: Application to Vehicle Management Systems

Ufuk Topcu, Richard M. Murray, Tichakorn Wongpiromsarn, 2011 .

Correct , Reactive Robot Control from Abstraction and Temporal Logic Specifications

U. Topcu, Hadas Kress-Gazit, T. Wongpiromsarn, 2011 .

Optimal design of hybrid energy system with PV/wind turbine/storage: A case study

Ufuk Topcu, K. Mani Chandy, Steven H. Low, 2011, 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm).

Compositional Synthesis of Reactive Controllers for Multi-agent Systems

Ufuk Topcu, Rajeev Alur, Salar Moarref, 2016, CAV.

Inverse Optimal Control with Regular Language Specifications

Ufuk Topcu, Min Wen, Ivan Papusha, 2018, 2018 Annual American Control Conference (ACC).

On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability

Abraham P. Vinod, U. Topcu, É. Goubault, 2020, IEEE Transactions on Automatic Control.

On the Complexity of Sequential Incentive Design

Ufuk Topcu, Yagiz Savas, Vijay Gupta, 2020, IEEE Transactions on Automatic Control.

Risk-Mitigated Optimal Power Flow with High Wind Penetration

Ufuk Topcu, Dennice F. Gayme, A. Emma Sj, 2012 .

Minimizing the Information Leakage Regarding High-Level Task Specifications pdf

Ufuk Topcu, Zhe Xu, Michael Hibbard, 2019, IFAC-PapersOnLine.

Structured Synthesis for Probabilistic Systems pdf

Nils Jansen, Ufuk Topcu, Jana Tumova, 2018, NFM.

Local stability analysis for uncertain nonlinear systems using a branch-and-bound algorithm

A. Packard, U. Topcu, P. Seiler, 2008, 2008 American Control Conference.

Stability Region Analysis Using Simulations and Sum-of-Squares Programming

A. Packard, U. Topcu, P. Seiler, 2007, 2007 American Control Conference.

Local stability analysis using simulations and sum-of-squares programming

P. Seiler, A. Packard, U. Topcu, 2008, at - Automatisierungstechnik.

Decentralized Classification with Assume-Guarantee Planning *

U. Topcu, S. Spencer, S. Buerger, 2021, 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology

U. Topcu, Steven Carr, Suda Bharadwaj, 2020, IEEE Transactions on Automatic Control.

Resilient Distributed Hypothesis Testing with Time-Varying Network Topology

Ufuk Topcu, Bo Wu, Suda Bharadwaj, 2020, 2020 American Control Conference (ACC).

Distributed Charging Control of Electric Vehicles Using Online Learning

Ufuk Topcu, Vijay Gupta, Wann-Jiun Ma, 2015, IEEE Transactions on Automatic Control.

Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives

Ufuk Topcu, Marta Z. Kwiatkowska, Nicolas Basset, 2015, TACAS.

Distributed charging control of electric vehicles using regret minimization

Ufuk Topcu, Vijay Gupta, Wann-Jiun Ma, 2014, 53rd IEEE Conference on Decision and Control.

Deceptive Planning for Resource Allocation

Mustafa O. Karabag, U. Topcu, Yagiz Savas, 2022, ArXiv.

A Multifidelity Sim-to-Real Pipeline for Verifiable and Compositional Reinforcement Learning

U. Topcu, Aryaman Singh Samyal, Cyrus Neary, 2023, ArXiv.

Privacy-Engineered Value Decomposition Networks for Cooperative Multi-Agent Reinforcement Learning

U. Topcu, Parham Gohari, Matthew Hale, 2023, 2311.06255.

Verifiable Reinforcement Learning Systems via Compositionality

U. Topcu, Aryaman Singh Samyal, Murat Cubuktepe, 2023, ArXiv.

Online Synthesis for Runtime Enforcement of Safety in Multiagent Systems

U. Topcu, Suda Bharadwaj, Franck Djeumou, 2019, IEEE Transactions on Control of Network Systems.

Differential Privacy in Cooperative Multiagent Planning

Mustafa O. Karabag, U. Topcu, M. Hale, 2023, UAI.

Stochastic distributed protocol for electric vehicle charging with discrete charging rate

Lingwen Gan, Ufuk Topcu, S. H. Low, 2012, 2012 IEEE Power and Energy Society General Meeting.

On The Vulnerability of Recurrent Neural Networks to Membership Inference Attacks pdf

Ufuk Topcu, Parham Gohari, Yunhao Yang, 2021, ArXiv.

Robustness of classifier-in-the-loop control systems: A hybrid-systems approach

Ufuk Topcu, Hasan Poonawala, Hasan A. Poonawala, 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications pdf

Joe H. Chow, Ufuk Topcu, Zhe Xu, 2019, ArXiv.

Barrier Certificates for Assured Machine Teaching

Ufuk Topcu, Mohamadreza Ahmadi, Yisong Yue, 2018, 2019 American Control Conference (ACC).

News Source Credibility Assessment: A Reddit Case Study

Yigit E. Bayiz, U. Topcu, R. Marculescu, 2024, ArXiv.

Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed

Ufuk Topcu, Richard M. Murray, Necmiye Ozay, 2014, J. Aerosp. Inf. Syst..

A case study on reactive protocols for aircraft electric power distribution

Ufuk Topcu, Richard M. Murray, Huan Xu, 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

Reactive Protocols for Aircraft Electric Power Distribution

Ufuk Topcu, Richard M. Murray, Huan Xu, 2012 .

Simulator-Driven Deceptive Control via Path Integral Approach

Mustafa O. Karabag, U. Topcu, Takashi Tanaka, 2023, 2023 62nd IEEE Conference on Decision and Control (CDC).

Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking pdf

Ufuk Topcu, Kyriakos G. Vamvoudakis, Warren E. Dixon, 2021, 2021 60th IEEE Conference on Decision and Control (CDC).

Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control

Adam J. Thorpe, U. Topcu, Cyrus Neary, 2023, ArXiv.

Trajectory Synthesis for the Coordinated Inspection of a Spacecraft with Safety Guarantees

Kendra A. Lang, U. Topcu, Murat Cubuktepe, 2023, Journal of Guidance, Control, and Dynamics.

Strategy Synthesis in POMDPs via Game-Based Abstractions

U. Topcu, J. Katoen, Ralf Wimmer, 2017, 1708.04236.

Exploiting Partial Observability for Optimal Deception

Mustafa O. Karabag, U. Topcu, Melkior Ornik, 2023, IEEE Transactions on Automatic Control.

Non-Parametric Neuro-Adaptive Control Subject to Task Specifications pdf

Ufuk Topcu, Christos K. Verginis, Zhe Xu, 2021, ArXiv.

Real-Time Quadrotor Trajectory Optimization with Time-Triggered Corridor Constraints

Margaret Skye Mceowen, U. Topcu, Behçet Açikmese, 2022, Journal of Guidance, Control, and Dynamics.

Towards formal synthesis of reactive controllers for dexterous robotic manipulation

Ufuk Topcu, Joel W. Burdick, Richard M. Murray, 2012, 2012 IEEE International Conference on Robotics and Automation.

Hierarchical Path Planning for Urban On-Demand Air Mobility

Ufuk Topcu, Dantong Ge, U. Topcu, 2019, 2019 IEEE Conference on Control Technology and Applications (CCTA).

Extrapolated Proportional-Integral Projected Gradient Method for Conic Optimization

U. Topcu, Yue Yu, Behçet Açikmese, 2022, IEEE Control Systems Letters.

Automatic Decomposition of Reward Machines for Decentralized Multiagent Reinforcement Learning

U. Topcu, Cyrus Neary, Sophia Smith, 2023, 2023 62nd IEEE Conference on Decision and Control (CDC).

Safe Multi-Agent Reinforcement Learning via Shielding

Chris Amato, U. Topcu, Rüdiger Ehlers, 2021, AAMAS.

Noise-Aware and Equitable Urban Air Traffic Management: An Optimization Approach

U. Topcu, Qinshuang Wei, Zhenyu Gao, 2024, ArXiv.

Risk-aware Urban Air Mobility Network Design with Overflow Redundancy

U. Topcu, J. Clarke, Zhenyu Gao, 2023, ArXiv.

Prebunking Design as a Defense Mechanism Against Misinformation Propagation on Social Networks

Yigit E. Bayiz, U. Topcu, 2023, ArXiv.

Countering Misinformation on Social Networks Using Graph Alterations

Yigit E. Bayiz, U. Topcu, 2022, ArXiv.

Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems *

U. Topcu, T. Wongpiromsarn, Steven Carr, 2023, 2023 IEEE Conference on Control Technology and Applications (CCTA).

Differentially Private Controller Synthesis With Metric Temporal Logic Specifications

Ufuk Topcu, Kasra Yazdani, Matthew T. Hale, 2019, 2020 American Control Conference (ACC).

Task-aware Distributed Source Coding under Dynamic Bandwidth

Hossein Nourkhiz Mahjoub, U. Topcu, Hyeji Kim, 2023, NeurIPS.

Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization

Bo Wu, U. Topcu, R. Tsai, 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems

Ufuk Topcu, Melkior Ornik, Matija Bucic, 2018, 2018 56th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

Intent Prediction in Shared Control with Delayed Feedback

Ufuk Topcu, Murat Cubuktepe, U. Topcu, 2017 .

Alpha-Fair Routing in Urban Air Mobility with Risk-Aware Constraints

U. Topcu, Qinshuang Wei, Zhenyu Gao, 2023, 2310.00135.

Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach

Ufuk Topcu, Bo Wu, Zhe Xu, 2019, 2019 57th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

Auto-Encoding Bayesian Inverse Games

U. Topcu, Lasse Peters, David Fridovich-Keil, 2024, ArXiv.

Reactive synthesis for relay-explorer consensus with intermittent communication

U. Topcu, Suda Bharadwaj, Zhe Xu, 2023, Autom..