Ufuk Topcu

Q: What Schools Are Affiliated With Ufuk Topcu

Ufuk Topcu is affiliated with the following schools: University of Texas at Austin, University of California, Irvine, California Institute of Technology, University of Pennsylvania

Ufuk Topcu's AcademicInfluence.com Rankings

Ufuk Topcu

Engineering

#5342

World Rank

#6594

Historical Rank

Electrical Engineering

#1477

World Rank

#1571

Historical Rank

engineering Degrees

Ufuk Topcu

Computer Science

#6848

World Rank

#7214

Historical Rank

Computer Engineering

#77

World Rank

#78

Historical Rank

Database

#3928

World Rank

#4086

Historical Rank

computer-science Degrees

Download Badge

Engineering
Computer Science

Ufuk Topcu's Degrees

PhD Electrical and Computer Engineering University of California, Berkeley
Masters Electrical and Computer Engineering University of California, Berkeley
Bachelors Electrical and Electronics Engineering Middle East Technical University

Why Is Ufuk Topcu Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Ufuk Topcu's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Optimal decentralized protocol for electric vehicle charging (2011) (974)
Exact Convex Relaxation of Optimal Power Flow in Radial Networks (2013) (402)
Design and Stability of Load-Side Primary Frequency Control in Power Systems (2013) (377)
Safe Reinforcement Learning via Shielding (2017) (373)
Receding Horizon Temporal Logic Planning (2012) (281)
Local stability analysis using simulations and sum-of-squares programming (2008) (225)
Receding horizon control for temporal logic specifications (2010) (220)
Optimal power flow with large-scale storage integration (2013) (201)
TuLiP: a software toolbox for receding horizon temporal logic planning (2011) (195)
Differentially Private Distributed Constrained Optimization (2014) (189)
A simple optimal power flow model with energy storage (2010) (177)
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications (2013) (160)
Receding horizon temporal logic planning for dynamical systems (2009) (152)
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints (2014) (150)
Decentralized Multi-Agent Optimization via Dual Decomposition (2011) (147)
Robust control of uncertain Markov Decision Processes with temporal logic specifications (2012) (144)
Optimal Load Control via Frequency Measurement and Neighborhood Area Communication (2013) (130)
Correct, Reactive, High-Level Robot Control (2011) (111)
Environment-Independent Task Specifications via GLTL (2017) (101)
Robust Region-of-Attraction Estimation (2010) (99)
Real-time deferrable load control: handling the uncertainties of renewable generation (2013) (99)
Optimization-based trajectory generation with linear temporal logic specifications (2014) (96)
Optimization-Based Constrained Iterative Learning Control (2011) (95)
Optimal placement of energy storage in the grid (2012) (93)
Safety-Constrained Reinforcement Learning for MDPs (2015) (92)
Imperceptible electrooculography graphene sensor system for human–robot interface (2018) (89)
On the exactness of convex relaxation for optimal power flow in tree networks (2012) (81)
Counter-strategy guided refinement of GR(1) temporal logic specifications (2013) (78)
Risk-mitigated optimal power flow for wind powered grids (2012) (75)
Minimum-Fuel Powered Descent for Mars Pinpoint Landing (2007) (69)
Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems (2016) (64)
Optimal power flow with distributed energy storage dynamics (2011) (62)
Automaton-guided controller synthesis for nonlinear systems with temporal logic (2013) (62)
Local Stability Analysis for Uncertain Nonlinear Systems (2009) (59)
Correct-by-synthesis reinforcement learning with temporal logic constraints (2015) (57)
Efficient reactive controller synthesis for a fragment of linear temporal logic (2013) (55)
Synthesis of Control Protocols for Autonomous Systems (2013) (54)
Joint Inference of Reward Machines and Policies for Reinforcement Learning (2019) (53)
Shield synthesis (2017) (50)
Stability Region Analysis Using Simulations and Sum-of-Squares Programming (2007) (48)
Constrained Cross-Entropy Method for Safe Reinforcement Learning (2020) (47)
Frequency-based load control in power systems (2012) (46)
Correct , Reactive Robot Control from Abstraction and Temporal Logic Specifications (2011) (45)
Distributed power allocation for vehicle management systems (2011) (45)
Controller synthesis for autonomous systems interacting with human operators (2015) (44)
Optimal design of hybrid energy system with PV/wind turbine/storage: A case study (2011) (44)
Quantitative local analysis of nonlinear systems (2008) (44)
Differentially private convex optimization with piecewise affine objectives (2014) (44)
On distributed charging control of electric vehicles with power network capacity constraints (2014) (43)
Computational methods for stochastic control with metric interval temporal logic specifications (2015) (42)
Resilience to intermittent assumption violations in reactive synthesis (2014) (42)
Optimal Decentralized Protocols for Electric Vehicle Charging (2010) (41)
Optimal Control with Weighted Average Costs and Temporal Logic Specifications (2012) (40)
Swing dynamics as primal-dual algorithm for optimal load control (2012) (39)
Distributed Synthesis of Control Protocols for Smart Camera Networks (2011) (38)
Fuel Efficient Powered Descent Guidance for Mars Landing (2005) (38)
Load-shedding probabilities with hybrid renewable power generation and energy storage (2010) (38)
Branch flow model for radial networks: convex relaxation (2012) (36)
Help on SOS [Ask the Experts] (2010) (36)
On synthesizing robust discrete controllers under modeling uncertainty (2012) (36)
Automatic Synthesis of Robust Embedded Control Software (2010) (35)
Synthesis in pMDPs: A Tale of 1001 Parameters (2018) (35)
A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks (2017) (34)
Power System Dynamics as Primal-Dual Algorithm for Optimal Load Control (2013) (33)
Transfer of Temporal Logic Formulas in Reinforcement Learning (2019) (33)
Sequential Convex Programming for the Efficient Verification of Parametric MDPs (2017) (32)
Formal Synthesis of Embedded Control Software: Application to Vehicle Management Systems (2011) (32)
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs (2016) (32)
Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approach (2020) (30)
A case study on reactive protocols for aircraft electric power distribution (2012) (30)
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems (2014) (30)
Randomized Greedy Sensor Selection: Leveraging Weak Submodularity (2018) (30)
Towards formal synthesis of reactive controllers for dexterous robotic manipulation (2012) (27)
Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic (2013) (27)
Safe Multi-Agent Reinforcement Learning via Shielding (2021) (27)
Case Studies in Data-Driven Verification of Dynamical Systems (2016) (26)
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints (2018) (26)
Algorithms for Fairness in Sequential Decision Making (2019) (25)
Learning from Demonstrations with High-Level Side Information (2017) (25)
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives (2015) (25)
Iterative learning control with saturation constraints (2009) (25)
Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints (2016) (25)
Compositional stability analysis based on dual decomposition (2009) (25)
Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis (2015) (25)
An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing (2019) (25)
Faster non-convex federated learning via global and local momentum (2020) (24)
Compositional Synthesis of Reactive Controllers for Multi-agent Systems (2016) (24)
Synthesis of Surveillance Strategies via Belief Abstraction (2017) (23)
Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications (2016) (23)
Linearized analysis versus optimization-based nonlinear analysis for nonlinear systems (2009) (23)
Simulation-aided reachability and local gain analysis for nonlinear dynamical systems (2008) (23)
Privacy Verification in POMDPs via Barrier Certificates (2018) (23)
Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles (2014) (23)
Optimal temporal logic planning in probabilistic semantic maps (2015) (23)
Fast load control with stochastic frequency measurement (2012) (22)
Distributed Charging Control of Electric Vehicles Using Online Learning (2015) (22)
Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach (2019) (22)
Graph Temporal Logic Inference for Classification and Identification (2019) (22)
On Controllability and Persistency of Excitation in Data-Driven Control: Extensions of Willems’ Fundamental Lemma (2021) (21)
Deception in Optimal Control (2018) (20)
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks (2019) (20)
Information-Guided Temporal Logic Inference with Prior Knowledge (2018) (20)
Reward Machines for Cooperative Multi-Agent Reinforcement Learning (2020) (20)
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints (2020) (20)
Motion planning under partial observability using game-based abstraction (2017) (19)
Compositional Synthesis with Parametric Reactive Controllers (2016) (19)
Optimal power flow in tree networks (2013) (19)
Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints (2016) (19)
Submodular Observation Selection and Information Gathering for Quadratic Models (2019) (18)
Convex Optimal Uncertainty Quantification (2013) (18)
Synthesis of Shared Autonomy Policies With Temporal Logic Specifications (2016) (18)
Class-Aware Generative Adversarial Transformers for Medical Image Segmentation (2022) (18)
Fairness with Dynamics (2019) (18)
Exact Convex Relaxation of Optimal Power Flow in Tree Networks (2012) (18)
Event-based information-theoretic privacy: A case study of smart meters (2016) (18)
Reactive controllers for differentially flat systems with temporal logic constraints (2012) (17)
Quantitative local L2‐gain and Reachability analysis for nonlinear systems (2013) (17)
Quantitative local analysis of nonlinear systems using sum-of-squares decompositions (T-1) (2009) (17)
Optimal control in Markov decision processes via distributed optimization (2015) (16)
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling (2021) (16)
Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications (16)
High-level planner synthesis for whole-body locomotion in unstructured environments (2016) (15)
Exact convex relaxation for optimal power flow in distribution networks (2012) (15)
Maximum Realizability for Linear Temporal Logic Specifications (2018) (15)
Advice-Guided Reinforcement Learning in a non-Markovian Environment (2021) (15)
Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks (2020) (15)
Active Task-Inference-Guided Deep Inverse Reinforcement Learning (2020) (15)
Generalization bounds for sparse random feature expansions (2021) (14)
Correct, Reactive, High-Level Robot Control: Mitigating the State Explosion Problem of Temporal Logic Synthesis (2011) (14)
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples (2020) (14)
Verification of Uncertain POMDPs Using Barrier Certificates (2018) (14)
Parameter estimation with expected and residual-at-risk criteria (2008) (14)
From Agile Ground to Aerial Navigation: Learning from Learned Hallucination (2021) (14)
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization (2020) (14)
Temporal logic control of switched affine systems with an application in fuel balancing (2012) (14)
Differential Privacy on the Unit Simplex via the Dirichlet Mechanism (2021) (14)
Safe Controller Synthesis for Data-Driven Differential Inclusions (2020) (14)
Local robust performance analysis for nonlinear dynamical systems (2009) (13)
Robust Finite-State Controllers for Uncertain POMDPs (2020) (13)
Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks (2020) (13)
Characterizing two-timescale nonlinear dynamics using finite-time Lyapunov exponents and subspaces (2008) (13)
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications (2019) (13)
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution (2015) (13)
Uncertainty quantification via codimension‐one partitioning (2011) (13)
Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints (2014) (13)
Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments (2018) (12)
An approximately truthful mechanism for electric vehicle charging via joint differential privacy (2015) (12)
On-The-Fly Control of Unknown Smooth Systems from Limited Data (2020) (12)
Estimator-based reactive synthesis under incomplete information (2015) (12)
Control-Oriented Learning on the Fly (2017) (12)
Synthesis of Minimum-Cost Shields for Multi-agent Systems (2019) (12)
Human-interpretable diagnostic information for robotic planning systems (2016) (12)
Compositional and symbolic synthesis of reactive controllers for multi-agent systems (2018) (12)
Analysis of autocatalytic networks in biology (2011) (12)
Entropy Maximization for Constrained Markov Decision Processes (2018) (12)
Synthesis of shared control protocols with provable safety and performance guarantees (2016) (12)
Scenario-Based Verification of Uncertain MDPs (2019) (11)
Control Theory Meets POMDPs: A Hybrid Systems Approach (2019) (11)
Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids (2013) (11)
Differentially private distributed protocol for electric vehicle charging (2014) (11)
Risk-Mitigated Optimal Power Flow with High Wind Penetration (2012) (11)
Stability region analysis for uncertain nonlinear systems (2007) (11)
Abstractions and sensor design in partial-information, reactive controller synthesis (2014) (11)
Automated synthesis of reactive controllers for software-defined networks (2013) (11)
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications (2020) (10)
Parameter-Dependent Lyapunov Functions for Linear Systems With Constant Uncertainties (2009) (10)
Unpredictable Planning Under Partial Observability (2019) (10)
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes (2018) (10)
Risk-limiting power grid control with an ARMA-based prediction model (2013) (10)
Active Sampling-based Binary Verification of Dynamical Systems (2017) (10)
A sublinear algorithm for barrier-certificate-based data-driven model validation of dynamical systems (2015) (9)
Privacy-Preserving Policy Synthesis in Markov Decision Processes (2020) (9)
Extrapolated Proportional-Integral Projected Gradient Method for Conic Optimization (2021) (9)
Control-Oriented Learning of Lagrangian and Hamiltonian Systems (2018) (9)
Switching protocol synthesis for temporal logic specifications (2012) (9)
Online Active Perception for Partially Observable Markov Decision Processes with Limited Budget (2019) (9)
Self-Supervised Online Reward Shaping in Sparse-Reward Environments (2021) (8)
Analytical Validation Tools for Safety Critical Systems (2009) (8)
Region-of-convergence estimation for learning-based adaptive controllers (2016) (8)
Sampling-based Approximate Optimal Control Under Temporal Logic Constraints (2017) (8)
On-The-Fly Control of Unknown Systems: From Side Information to Performance Guarantees through Reachability (2020) (8)
Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust (2020) (8)
Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations (2014) (8)
Model Checking for Safe Navigation Among Humans (2018) (8)
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs (2022) (8)
Synthesis of Admissible Shields (2016) (8)
The Partially Observable Games We Play for Cyber Deception (2018) (8)
Safety assessemt based on physically-viable data-driven models (2017) (8)
Robust Training in High Dimensions via Block Coordinate Geometric Median Descent (2021) (8)
Distributed charging control of electric vehicles using regret minimization (2014) (8)
An aircraft electric power testbed for validating automatically synthesized reactive control protocols (2013) (8)
Rigorous uncertainty quantification without integral testing (2011) (8)
Perception-Aware Point-Based Value Iteration for Partially Observable Markov Decision Processes (2019) (8)
Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions (2019) (7)
Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach (2021) (7)
Quantitative nonlinear analysis of autocatalytic pathways with applications to glycolysis (2010) (7)
Using Lyapunov Vectors and Dichotomy to Solve Hyper-Sensitive Optimal Control Problems (2006) (7)
Entropy-Regularized Stochastic Games (2019) (7)
Qualitative Controller Synthesis for Consumption Markov Decision Processes (2020) (7)
Real-time deferrable load control: handling the uncertainties of renewable generation (2014) (7)
Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations (2020) (7)
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology (2022) (7)
Reactive synthesis with maximum realizability of linear temporal logic specifications (2019) (7)
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions (2020) (7)
Towards smart, flexible and efficient power systems: Vision and research challenges (2013) (7)
Convex Optimization for Parameter Synthesis in MDPs (2021) (7)
Synthesis of Reactive Control Protocols for Differentially Flat Systems (2012) (7)
Expedited Learning in MDPs with Side Information (2018) (7)
Stability region estimation for systems with unmodeled dynamics (2009) (7)
Active Sampling for Closed-Loop Statistical Verification of Uncertain Nonlinear Systems (2018) (7)
Scenario-based verification of uncertain parametric MDPs (2021) (7)
Controller Synthesis for Safety of Physically-Viable Data-Driven Models (2018) (7)
Traffic Management for Urban Air Mobility (2019) (7)
Salty-A Domain Specific Language for GR(1) Specifications and Designs (2019) (6)
Reduction Techniques for Model Checking and Learning in MDPs (2017) (6)
Robust optimal policies for Markov decision processes with safety-threshold constraints (2016) (6)
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes (2018) (6)
Deception in Supervisory Control (2019) (6)
Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis (2019) (6)
Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications (2020) (6)
Inverse Optimal Control with Regular Language Specifications (2018) (6)
Characterizing two-timescale nonlinear dynamics using finite-time Lyapunov exponents and vectors (2008) (6)
Convexifying optimal power flow: Recent advances in OPF solution methods (2013) (6)
Counterexamples for Robotic Planning Explained in Structured Language (2018) (6)
Learning and Planning for Time-Varying MDPs Using Maximum Likelihood Estimation (2019) (6)
Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility (2021) (5)
Class-Aware Adversarial Transformers for Medical Image Segmentation (2022) (5)
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets (2018) (5)
Local stability analysis for uncertain nonlinear systems using a branch-and-bound algorithm (2008) (5)
Task-Oriented Active Perception and Planning in Environments with Partially Known Semantics (2020) (5)
Verifiable and Compositional Reinforcement Learning Systems (2021) (5)
Reward-Based Deception with Cognitive Bias (2019) (5)
Filter-based stochastic abstractions for constrained planning with limited sensing (2016) (5)
Optimal Deceptive and Reference Policies for Supervisory Control (2019) (5)
Myopic Control of Systems with Unknown Dynamics (2019) (5)
Safe Reinforcement Learning via Shielding for POMDPs (2022) (5)
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach (2021) (5)
Quantitative local L_2-gain and Reachability analysis fornonlinear systems (2013) (5)
BP-RRT: Barrier Pair Synthesis for Temporal Logic Motion Planning (2020) (5)
Entropy Maximization for Partially Observable Markov Decision Processes (2021) (5)
Learning to Reach, Swim, Walk and Fly in One Trial: Data-Driven Control with Scarce Data and Side Information (2021) (5)
Barrier Certificates for Assured Machine Teaching (2018) (5)
Uncertainty-Aware Signal Temporal Logic Inference (2021) (5)
Robustness of classifier-in-the-loop control systems: A hybrid-systems approach (2017) (5)
Privacy Verification and Enforcement via Belief Manipulation (2019) (4)
Safety-Constrained Learning and Control using Scarce Data and Reciprocal Barriers (2021) (4)
Identifying Sparse Low-Dimensional Structures in Markov Chains: A Nonnegative Matrix Factorization Approach (2019) (4)
Function Approximation via Sparse Random Features (2021) (4)
Least Inferable Policies for Markov Decision Processes (2018) (4)
Transfer Entropy in MDPs with Temporal Logic Specifications (2018) (4)
Manifold-Following Approximate Solution of Completely Hypersensitive Optimal Control Problems (2016) (4)
Distributed Synthesis Using Accelerated ADMM (2018) (4)
Multistage investments with recourse: A single-asset case with transaction costs (2008) (4)
Two-Timescale Nonlinear Dynamics and Slow Manifold Determination (2005) (4)
Distributed Synthesis of Surveillance Strategies for Mobile Sensors (2018) (4)
Structured Synthesis for Probabilistic Systems (2018) (4)
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes (2021) (4)
Safe Reinforcement Learning via Shielding under Partial Observability (2022) (4)
No-Regret Learning in Dynamic Stackelberg Games (2022) (4)
Compositional analysis of autocatalytic networks in biology (2010) (4)
Synthesis of Switching Protocols from Temporal Logic Specifications (2011) (4)
Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties (2017) (4)
Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed (2014) (4)
Active Sampling for Constrained Simulation-based Verification of Uncertain Nonlinear Systems (2017) (3)
Reactive Protocols for Aircraft Electric Power Distribution (2012) (3)
Probabilistic Verification for Cognitive Models (2016) (3)
Resilient Distributed Hypothesis Testing with Time-Varying Network Topology (2020) (3)
Verification of Markov Decision Processes with Risk-Sensitive Measures (2018) (3)
Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems (2018) (3)
Online Synthesis for Runtime Enforcement of Safety in Multiagent Systems (2019) (3)
Stochastic Games with Sensing Costs (2018) (3)
Training Classifiers For Feedback Control (2019) (3)
Non-Parametric Neuro-Adaptive Control Subject to Task Specifications (2021) (3)
Human-Understandable Explanations of Infeasibility for Resource-Constrained Scheduling Problems (2019) (3)
Proportional-Integral Projected Gradient Method for Infeasibility Detection in Conic Optimization (2021) (3)
The Dirichlet Mechanism for Differential Privacy on the Unit Simplex (2019) (3)
Uncertainty-Aware Signal Temporal logic (2021) (3)
Incentive Design for Temporal Logic Objectives (2019) (3)
Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction (2016) (3)
Training classifiers for feedback control with safety in mind (2021) (3)
Convexified contextual optimization for on-the-fly control of smooth systems (2020) (3)
Quantification on the efficiency gain of automated ridesharing services (2017) (3)
On the Privacy Risks of Deploying Recurrent Neural Networks in Machine Learning Models (2021) (3)
Synthesis of Provably Correct Autonomy Protocols for Shared Control (2019) (2)
Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics (2022) (2)
Deceptive Decision-Making Under Uncertainty (2021) (2)
Guaranteeing Safety via Active-Set Invariance Filters for Multi-Agent Space Systems with Coupled Dynamics* (2022) (2)
Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications (2021) (2)
Minimum-Violation Traffic Management for Urban Air Mobility (2021) (2)
Smooth Convex Optimization Using Sub-Zeroth-Order Oracles (2021) (2)
Collaborative Beamforming for Agents with Localization Errors (2021) (2)
Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems (2021) (2)
Constrained, Global Optimization of Functions with Lipschitz Continuous Gradients. (2020) (2)
Distributed Load Balancing with Nonconvex Constraints: A Randomized Algorithm with Application to Electric Vehicle Charging Scheduling (2014) (2)
Planning Not to Talk: Multiagent Systems that are Robust to Communication Loss (2022) (2)
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption (2021) (2)
Private Convex Optimization with Piecewise Ane Objectives (2014) (2)
Dynamic Certification for Autonomous Systems (2022) (2)
Robust Generative Adversarial Imitation Learning via Local Lipschitzness (2021) (2)
Blending Controllers via Multi-Objective Bandits (2020) (2)
On Submodularity of Quadratic Observation Selection in Constrained Networked Sensing Systems (2019) (2)
MaxSAT-based temporal logic inference from noisy data (2022) (2)
Intent Prediction in Shared Control with Delayed Feedback (2017) (2)
Hierarchical Path Planning for Urban On-Demand Air Mobility (2019) (2)
A Survey of eVTOL Aircraft and AAM Operation Hazards (2022) (2)
Robust Myopic Control for Systems with Imperfect Observations (2018) (2)
On-the-fly, data-driven reachability analysis and control of unknown systems: an F-16 aircraft case study (2021) (2)
Learning-Based, Safety-Constrained Control from Scarce Data via Reciprocal Barriers (2021) (2)
Constrained, Global Optimization of Unknown Functions with Lipschitz Continuous Gradients (2022) (2)
Adversarial Examples for Model-Based Control: A Sensitivity Analysis (2022) (2)
Decentralized Runtime Synthesis of Shields for Multi-Agent Systems (2019) (2)
On-the-Fly Control of Unknown Nonlinear Systems With Sublinear Regret (2022) (2)
Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning (2021) (1)
Some problems in demand side management (2012) (1)
Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization (2020) (1)
Stochastic Distributed Control for Discrete Electric Vehicle Charging Optimization (2014) (1)
Towards online monitoring and data-driven control: a study of segmentation algorithms for infrared images of the powder bed (2020) (1)
Learning Interpretable Temporal Properties from Positive Examples Only (2022) (1)
Real-Time Quadrotor Trajectory Optimization with Time-Triggered Corridor Constraints (2022) (1)
Poisoning Attacks Against Data-Driven Predictive Control (2022) (1)
Collaborative one-shot beamforming under localization errors: A discrete optimization approach (2022) (1)
Strategy Synthesis in POMDPs via Game-Based Abstractions (2017) (1)
Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality (2022) (1)
No-regret learning with high-probability in adversarial Markov decision processes (2021) (1)
Risk-Averse ω-regular Markov Decision Process Control (2016) (1)
Identity Concealment Games: How I Learned to Stop Revealing and Love the Coincidences (2021) (1)
Probably Approximately Correct Learning in Adversarial Environments With Temporal Logic Specifications (2022) (1)
Value of forecasts in planning under uncertainty: Extended version (2015) (1)
Assured Learning-Based Optimal Control subject to Timed Temporal Logic Constraints (2021) (1)
Hierarchical Control for Multi-Agent Autonomous Racing (2022) (1)
Distributed Beamforming for Agents with Localization Errors (2020) (1)
Task-Guided Inverse Reinforcement Learning Under Partial Information (2021) (1)
Collaborative Beamforming Under Localization Errors: A Discrete Optimization Approach (2021) (1)
Online Learning with Implicit Exploration in Episodic Markov Decision Processes (2021) (1)
FORMAL SPECIFICATION AND CORRECT-BY- CONSTRUCTION SYNTHESIS OF CONTROL PROTOCOLS FOR ADAPTABLE, HUMAN-EMBEDDED AUTONOMOUS SYSTEMS (2019) (1)
Human-inthe-Loop Synthesis for Partially Observable Markov Decision Processes (2018) (1)
Minimizing the Information Leakage Regarding High-Level Task Specifications (2019) (1)
Inverse Matrix Games with Unique Nash Equilibrium (2022) (1)
Affine Multiplexing Networks: System Analysis, Learning, and Computation (2018) (1)
Alternating Direction Method of Multipliers for Decomposable Saddle-Point Problems (2022) (1)
Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization (2019) (1)
A 3D Printing Hexacopter: Design and Demonstration (2021) (1)
Safe Policies for Factored Partially Observable Stochastic Games (2021) (1)
Lyapunov Exponents and Vectors for Determining the Geometric Structure of Nonlinear Dynamical Systems (2005) (1)
Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications (2020) (1)
Sensor Synthesis for POMDPs with Reachability Objectives (2017) (1)
Hierarchical Control for Head-to-Head Autonomous Racing (2022) (1)
Risk-averse control of Markov decision processes with ω-regular objectives (2016) (1)
Inverse Matrix Games With Unique Quantal Response Equilibrium (2022) (1)
Efficient Strategy Synthesis for MDPs with Resource Constraints (2021) (1)
Additive Logistic Mechanism for Privacy-Preserving Self-Supervised Learning (2022) (1)
Classification error correction: A case study in brain-computer interfacing (2017) (0)
Author Correction: Multiscale heterogeneous optimal lockdown control for COVID-19 using geographic information (2022) (0)
Adapting to the Behavior of Environments with Bounded Memory (2021) (0)
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach (2021) (0)
Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners (2021) (0)
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication (2012) (0)
Risk-Averse $\omega$-regular Markov Decision Process Control (2016) (0)
Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control (2023) (0)
Categorical semantics of compositional reinforcement learning (2022) (0)
Control by coin flips: randomized control for risk aware human cooperative autonomy (2016) (0)
Multiscale heterogeneous optimal lockdown control for COVID-19 using geographic information (2022) (0)
Multiple Plans are Better than One: Diverse Stochastic Planning (2020) (0)
A Barrier Pair Method for Safe Human-Robot Shared Autonomy (2021) (0)
Task-Guided IRL in POMDPs that Scales (2022) (0)
Vertiport Selection in Hybrid Air-Ground Transportation Networks via Mathematical Programs with Equilibrium Constraints (2022) (0)
Verifiable autonomy under perceptual limitations (2021) (0)
Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks (2022) (0)
19-05 March 2019 Strategy synthesis for surveillance-evasion games with learning-enabled visibility optimization by (0)
Distributed Load Management (2021) (0)
Constrained Active Classification Using Partially Observable Markov Decision Processes (2018) (0)
Uncertainty quantification via codimension one domain partitioning and a new concentration inequality (2010) (0)
Relationship Design for Socially Desirable Behavior in Static Games (2022) (0)
Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences (2020) (0)
S Y ] 1 1 A pr 2 01 8 Privacy Verification in POMDPs via Barrier Certificates (2018) (0)
Evaluation and Benchmarking for Robot Motion Planning Problems Using TuLiP (2013) (0)
Online Poisoning Attacks Against Data-Driven Predictive Control (2022) (0)
— PR EP R IN T — Uncertainty quantification via codimension-onepartitioning (2010) (0)
Synthesis of strategies for autonomous surveillance on adversarial targets (2022) (0)
Simultaneous Perception-Action Design via Invariant Finite Belief Sets (2021) (0)
On the Detection of Markov Decision Processes (2021) (0)
Learning How to Reach, Swim, Walk and Fly in One Trial: Control of Unknown Systems with Scarce Data and Side Information (2021) (0)
Strategy Synthesis for Stochastic Rabin Games with Discounted Reward (2015) (0)
Non-Parametric Neuro-Adaptive Formation Control (2022) (0)
Reactive synthesis with maximum realizability of linear temporal logic specifications (2019) (0)
Differential Privacy in Cooperative Multiagent Planning (2023) (0)
Manifold-Following Approximate Solution of Completely Hypersensitive Optimal Control Problems (2016) (0)
Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching (2020) (0)
Engaging Consumers to Increase Grid Flexibility (2013) (0)
Learning Temporal Logic Properties: an Overview of Two Recent Methods (2022) (0)
CS 294 – Practical Machine Learning Term Project Robust Classification for Data with Interval Uncertainty and Label Errors (2006) (0)
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext (2018) (0)
On the Sample Complexity of Vanilla Model-Based Offline Reinforcement Learning with Dependent Samples (2023) (0)
Towards Online Monitoring and Data-driven Control: A Study of Segmentation Algorithms for Laser Powder Bed Fusion Processes (2020) (0)
Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking (2021) (0)
Expedited Online Learning With Spatial Side Information (2023) (0)
Decentralized Classification with Assume-Guarantee Planning * (2021) (0)
Decentralized Online Influence Maximization (2022) (0)
Differentially Private Timeseries Forecasts for Networked Control (2022) (0)
AlgebraicSystems: Compositional Verification for Autonomous System Design (2022) (0)
On base station localization for state estimation over lossy networks (2008) (0)
On Minimizing Total Discounted Cost in MDPs Subject to Reachability Constraints (2021) (0)
Countering Misinformation on Social Networks Using Graph Alterations (2022) (0)
On The Vulnerability of Recurrent Neural Networks to Membership Inference Attacks (2021) (0)
SAFETY-GUARANTEED TASK PLANNING FOR BIPEDAL NAVIGATION IN PARTIALLY OBSERVABLE ENVIRONMENTS (2021) (0)
Proportional-IntegralProjectedGradientMethod forConic Optimization (2021) (0)
Automaton-Based Representations of Task Knowledge from Generative Language Models (2022) (0)
Abstraction-based Model Checking of POMDPs in Motion Planning ∗ (2017) (0)
Ufuk Topcu [People in Control] (2021) (0)
Specification, Synthesis, and Verification of Software-based Control Protocols for Fault-Tolerant Space Systems (2016) (0)
Soft-Bellman Equilibrium in Affine Markov Games: Forward Solutions and Inverse Learning (2023) (0)
Cost Design in Atomic Routing Games (2022) (0)
Geometrical Analysis of Simple Contours Deposited by a 3D Printing Hexacopter (2021) (0)
On the Complexity of Sequential Incentive Design (2020) (0)
Identifying Low-Dimensional Structures in Markov Chains: A Nonnegative Matrix Factorization Approach (2019) (0)
Privacy-Preserving Kickstarting Deep Reinforcement Learning with Privacy-Aware Learners (2021) (0)
FOR FAULT-TOLERANT SPACE SYSTEMS (2016) (0)
Proceedings Second Workshop on Synthesis: Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic (2014) (0)
MaxSAT-based temporal logic inference from noisy data (2022) (0)
Towards Formal Planner Synthesis of Unified Legged and Armed Dynamic Locomotion in Constrained Environments (2019) (0)
Learning Sparse Control Tasks from Pixels by Latent Nearest-Neighbor-Guided Explorations (2023) (0)
Value of forecasts in planning under uncertainty (2015) (0)
Privacy-Preserving Teacher-Student Deep Reinforcement Learning (2021) (0)
Deceptive Planning for Resource Allocation (2022) (0)
Uncertainty Quantification for Modular and Hierarchical Models * (0)
Efficient Sensitivity Analysis for Parametric Robust Markov Chains (2023) (0)
Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications (2019) (0)
Near-Optimal Reactive Synthesis Incorporating Runtime Information (2020) (0)
Sensor Placement for Online Fault Diagnosis (2022) (0)
Exploiting Partial Observability for Optimal Deception (2022) (0)
O ct 2 01 2 Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication – Technical Report (2018) (0)
Failure-Adverse Closed-Loop Statistical Verification (2019) (0)
Privacy-Utility Trade-Offs Against Limited Adversaries (2021) (0)
Playing Against Opponents With Limited Memory (2020) (0)
Reactive Task Planner Synthesis of Multi-Contact Dynamic Locomotion in Constrained Environments (2010) (0)
Reachability Games for Optimal Multi-agent Scheduling of Tasks with Variable Durations (2020) (0)
Shield synthesis (2017) (0)
Physical-Layer Security via Distributed Beamforming in the Presence of Adversaries with Unknown Locations (2021) (0)
S E ] 2 0 O ct 2 01 5 Safety-Constrained Reinforcement Learning for MDPs ⋆ (2018) (0)
Workshop on Formal Verification and Synthesis for Hybrid Systems (2017) (0)
Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing (2022) (0)
Compositional and Hierarchical Synthesis of Reactive Controllers for Multi-Agent Systems (2012) (0)
Learning Automata-Based Task Knowledge Representation from Large-Scale Generative Language Models (2022) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Ufuk Topcu?

Ufuk Topcu is affiliated with the following schools:

Ufuk Topcu's Academic­Influence.com Rankings

Ufuk Topcu's Degrees

Why Is Ufuk Topcu Influential?

Ufuk Topcu's Published Works

Published Works

What Schools Are Affiliated With Ufuk Topcu?

Ufuk Topcu's AcademicInfluence.com Rankings