Ufuk Topcu
#141,776
Most Influential Person Now
Ufuk Topcu's AcademicInfluence.com Rankings
Ufuk Topcuengineering Degrees
Engineering
#5342
World Rank
#6594
Historical Rank
Electrical Engineering
#1477
World Rank
#1571
Historical Rank

Ufuk Topcucomputer-science Degrees
Computer Science
#6848
World Rank
#7214
Historical Rank
Computer Engineering
#77
World Rank
#78
Historical Rank
Database
#3928
World Rank
#4086
Historical Rank

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)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: