Ufuk Topcu

675 papers A* 49A 38B 6C 68Misc 3Journal 381Unranked 130
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Multi-Fidelity Control Variate Approach for Policy Gradient Estimation.
Trans. Mach. Learn. Res.
Xinjie Liu, Cyrus Neary, Kushagra Gupta, Wesley A. Suttle, Christian Ellis, Ufuk Topcu, David Fridovich-Keil
2026 J jnl
A Survey of Security Challenges and Solutions for Advanced Air Mobility and eVTOL Aircraft.
CoRR
Mahyar Ghazanfari, Iman Sharifi, Peng Wei, Noah Dahle, Abel Díaz-González, Austin Coursey, Bryce Bjorkman, Cailani Lemieux Mack, Robert Canady, Abenezer Taye, Bryan C. Ward, Xenofon D. Koutsoukos, Gautam Biswas, Maheed H. Ahmed, Hyeong Tae Kim, Mahsa Ghasemi, Vijay Gupta, Filippos Fotiadis, Ufuk Topcu, Junchi Lu, Alfred Chen, Abdul Kareem Ras, Nischal Aryal, Amer Ibrahim, Amir Shirkhodaie, Heber Herencia-Zapana, Saqib Hasan, Isaac Amundson
2026 J jnl
A Survey of Security Challenges and Solutions for UAS Traffic Management (UTM) and small Unmanned Aerial Systems (sUAS).
CoRR
Iman Sharifi, Mahyar Ghazanfari, Abenezer Taye, Peng Wei, Maheed H. Ahmed, Hyeong Tae Kim, Mahsa Ghasemi, Vijay Gupta, Noah Dahle, Robert Canady, Abel Díaz-González, Austin Coursey, Bryce Bjorkman, Cailani Lemieux Mack, Bryan C. Ward, Xenofon D. Koutsoukos, Gautam Biswas, Heber Herencia-Zapana, Saqib Hasan, Isaac Amundson, Filippos Fotiadis, Ufuk Topcu, Junchi Lu, Qi Alfred Chen, Nischal Aryal, Amer Ibrahim, Abdul Karim Ras, Amir Shirkhodaie
2026 J jnl
Bayesian Inverse Games with High-Dimensional Multi-Modal Observations.
CoRR
Yash Jain, Xinjie Liu, Lasse Peters, David Fridovich-Keil, Ufuk Topcu
2026 J jnl
Chance-Constrained Correlated Equilibria for Robust Noncooperative Coordination.
CoRR
Jaehan Im, Ufuk Topcu, David Fridovich-Keil
2026 J jnl
Corrigendum to 'On the Detection of Markov Decision Processes' [Automatica 175 (2025) 112196].
Autom.
Xiaoming Duan, Yagiz Savas, Rui Yan, Zhe Xu, Ufuk Topcu
2026 J jnl
Interleaved Information Structures in Dynamic Games: A General Framework with Application to the Linear-Quadratic Case.
CoRR
Janani S. K, Kushagra Gupta, Ufuk Topcu, David Fridovich-Keil
2026 J jnl
Linear-Quadratic Gaussian Games with Distributed Sparse Estimation.
CoRR
Tianyu Qiu, Filippos Fotiadis, Xinjie Liu, Christian Ellis, Jesse Milzman, Wesley Suttle, Ufuk Topcu, David Fridovich-Keil
2026 J jnl
Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts.
CoRR
Kevin Wang, Neel P. Bhatt, Cong Liu, Junbo Li, Runjin Chen, Yihan Xi, Timothy Barclay, Alvaro Velasquez, Ufuk Topcu, Zhangyang Wang
2026 J jnl
Noncooperative Virtual Queue Coordination via Uncertainty-Aware Correlated Equilibria.
CoRR
Jaehan Im, David Fridovich-Keil, Ufuk Topcu
2026 J jnl
On the Complexity of Sabotage Games for Network Security.
IEEE Trans. Netw.
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu
2026 J jnl
Robust Multi-Agent Reinforcement Learning for Small UAS Separation Assurance under GPS Degradation and Spoofing.
CoRR
Alex Zongo, Filippos Fotiadis, Ufuk Topcu, Peng Wei
2026 J jnl
ViSIL: Unified Evaluation of Information Loss in Multimodal Video Captioning.
CoRR
Po-han Li, Shenghui Chen, Ufuk Topcu, Sandeep Chinchali
2026 J jnl
When Should Agents Coordinate in Differentiable Sequential Decision Problems?
CoRR
Caleb Probine, Su Ann Low, David Fridovich-Keil, Ufuk Topcu
2026 J jnl
When Should a Leader Act Suboptimally? The Role of Inferability in Repeated Stackelberg Games.
IEEE Trans. Autom. Control.
Mustafa O. Karabag, Sophia Smith, Negar Mehr, David Fridovich-Keil, Ufuk Topcu
2025 J jnl
A Reinforcement Learning Approach to Quiet and Safe UAM Traffic Management.
CoRR
Surya Murthy, John-Paul Clarke, Ufuk Topcu, Zhenyu Gao
2025 J jnl
A Road Map for Responsible Robotics: Promoting Human Agency and Collaborative Efforts.
IEEE Robotics Autom. Mag.
Dejanira Araiza-Illan, Kevin Baum, Helen Beebee, Raja Chatila, Sarah Moth-Lund Christensen, Simon Coghlan, Emily C. Collins, S. Kate Conroy, Alcino Cunha, Anna Dobrosovestnova, Hein Duijf, Vanessa Evers, Michael Fisher, Nico Hochgeschwender, Nadin Kökciyan, Séverin Lemaignan, Francisco Javier Rodríguez-Lera, Sara Ljungblad, Martin Magnusson, Masoumeh Mansouri, Michael Milford, AJung Moon, Thomas M. Powers, Pericle Salvini, Teresa Scantamburlo, Nick Schuster, Marija Slavkovik, Ufuk Topcu, Daniel F. Preciado Vanegas, Andrzej Wasowski, Yi Yang
2025 J jnl
AD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback.
CoRR
Yunhao Yang, Junyuan Hong, Gabriel Jacob Perin, Zhiwen Fan, Li Yin, Zhangyang Wang, Ufuk Topcu
2025 C conf
AI Engineering for Safety-Critical Control Systems: An Aerospace Perspective.
ACC
Umut Durak, Zamira Daw, Ufuk Topcu, Ella M. Atkins, Darren Cofer, Mevlut Uzun, Gökhan Inalhan, Leonidas Kosmidis, James L. Paunicka, Trung T. Pham
2025 C conf
Active Inverse Learning in Stackelberg Trajectory Games.
ACC
William Ward, Yue Yu, Jacob Levy, Negar Mehr, David Fridovich-Keil, Ufuk Topcu
2025 J jnl
Adversarial Observability and Performance Tradeoffs in Optimal Control.
CoRR
Filippos Fotiadis, Ufuk Topcu
2025 J jnl
Adversarial Pursuits in Cislunar Space.
CoRR
Filippos Fotiadis, Quentin Rommel, Gregory Falco, Ufuk Topcu
2025 — conf
Automaton-Based Representations of Task Knowledge from Generative Language Models.
NeuS
Yunhao Yang, Cyrus Neary, Ufuk Topcu
2025 A* conf
CSA: Data-efficient Mapping of Unimodal Features to Multimodal Features.
ICLR
Po-han Li, Sandeep P. Chinchali, Ufuk Topcu
2025 J jnl
Categorical Semantics of Compositional Reinforcement Learning.
J. Mach. Learn. Res.
Georgios Bakirtzis, Michail Savvas, Ufuk Topcu
2025 J jnl
Compositional shield synthesis for safe reinforcement learning in partial observability.
CoRR
Steven Carr, Georgios Bakirtzis, Ufuk Topcu
2025 J jnl
Cooperative Bargaining Games Without Utilities: Mediated Solutions from Direction Oracles.
CoRR
Kushagra Gupta, Surya Murthy, Mustafa O. Karabag, Ufuk Topcu, David Fridovich-Keil
2025 J jnl
Coordinated UAV Beamforming and Control for Directional Jamming and Nulling.
CoRR
Filippos Fotiadis, Brian M. Sadler, Ufuk Topcu
2025 J jnl
Deception Against Data-Driven Linear-Quadratic Control.
CoRR
Filippos Fotiadis, Aris Kanellopoulos, Kyriakos G. Vamvoudakis, Ufuk Topcu
2025 J jnl
Deceptive Exploration in Multi-armed Bandits.
CoRR
I. Arda Vurankaya, Mustafa O. Karabag, Wesley A. Suttle, Jesse Milzman, David Fridovich-Keil, Ufuk Topcu
2025 J jnl
Deceptive Planning Exploiting Inattention Blindness.
CoRR
Mustafa O. Karabag, Jesse Milzman, Ufuk Topcu
2025 J jnl
Deceptive Sequential Decision-Making via Regularized Policy Optimization.
CoRR
Yerin Kim, Alexander Benvenuti, Bo Chen, Mustafa O. Karabag, Abhishek Ninad Kulkarni, Nathaniel D. Bastian, Ufuk Topcu, Matthew Hale
2025 — conf
Dense Dynamics-Aware Reward Synthesis: Integrating Prior Experience with Demonstrations.
L4DC
Cevahir Köprülü, Po-han Li, Tianyu Qiu, Ruihan Zhao, Tyler Westenbroek, David Fridovich-Keil, Sandeep Chinchali, Ufuk Topcu
2025 J jnl
Designing Inferable Signaling Schemes for Bayesian Persuasion.
CoRR
Caleb Probine, Mustafa O. Karabag, Ufuk Topcu
2025 J jnl
Designing policies for transition-independent multiagent systems that are robust to communication loss.
Auton. Agents Multi Agent Syst.
Mustafa O. Karabag, Cyrus Neary, Ufuk Topcu
2025 J jnl
DiBS-MTL: Transformation-Invariant Multitask Learning with Direction Oracles.
CoRR
Surya Murthy, Kushagra Gupta, Mustafa O. Karabag, David Fridovich-Keil, Ufuk Topcu
2025 J jnl
Do LLMs Strategically Reveal, Conceal, and Infer Information? A Theoretical and Empirical Analysis in The Chameleon Game.
CoRR
Mustafa O. Karabag, Ufuk Topcu
2025 J jnl
Dynamic Coalition Structure Detection in Natural Language-based Interactions.
CoRR
Abhishek Ninad Kulkarni, Andy Liu, Jean-Raphaël Gaglione, Daniel Fried, Ufuk Topcu
2025 A conf
Dynamic Coalition Structure Detection in Natural-Language-based Interactions.
AAMAS
Abhishek Ninad Kulkarni, Andy Liu, Jean-Raphaël Gaglione, Daniel Fried, Ufuk Topcu
2025 J jnl
Dynamic Coalitions in Games on Graphs with Preferences over Temporal Goals.
CoRR
A. Kaan Ata Yilmaz, Abhishek Ninad Kulkarni, Ufuk Topcu
2025 J jnl
Evaluating Human Trust in LLM-Based Planners: A Preliminary Study.
CoRR
Shenghui Chen, Yunhao Yang, Kayla Boggess, Seongkook Heo, Lu Feng, Ufuk Topcu
2025 J jnl
Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces.
CoRR
Yunhao Yang, Neel P. Bhatt, Christian Ellis, Alvaro Velasquez, Zhangyang Wang, Ufuk Topcu
2025 A* conf
Function Encoders: A Principled Approach to Transfer Learning in Hilbert Spaces.
ICML
Tyler Ingebrand, Adam J. Thorpe, Ufuk Topcu
2025 J jnl
Function Encoders: A Principled Approach to Transfer Learning in Hilbert Spaces.
CoRR
Tyler Ingebrand, Adam J. Thorpe, Ufuk Topcu
2025 J jnl
Function Spaces Without Kernels: Learning Compact Hilbert Space Representations.
CoRR
Su Ann Low, Quentin Rommel, Kevin S. Miller, Adam J. Thorpe, Ufuk Topcu
2025 J jnl
Game-theoretic Decentralized Coordination for Airspace Sector Overload Mitigation.
CoRR
Jaehan Im, Daniel Delahaye, David Fridovich-Keil, Ufuk Topcu
2025 A conf
Human-Agent Coordination in Games under Incomplete Information via Multi-Step Intent.
AAMAS
Shenghui Chen, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu
2025 J jnl
Integrated Noise and Safety Management in UAM via A Unified Reinforcement Learning Framework.
CoRR
Surya Murthy, Zhenyu Gao, John-Paul Clarke, Ufuk Topcu
2025 J jnl
Iterative Negotiation and Oversight: A Case Study in Decentralized Air Traffic Management.
CoRR
Jaehan Im, John-Paul Clarke, Ufuk Topcu, David Fridovich-Keil
2025 — conf
Know Where You're Uncertain When Planning with Multimodal Foundation Models: A Formal Framework.
MLSys
Neel P. Bhatt, Yunhao Yang, Rohan Siva, Daniel Milan, Ufuk Topcu, Zhangyang Wang
2025 J jnl
Learning Generalizable Neural Operators for Inverse Problems.
CoRR
Adam J. Thorpe, Stepan Tretiakov, Dibakar Roy Sarkar, Krishna Kumar, Ufuk Topcu
2025 J jnl
Learning Human Perception Dynamics for Informative Robot Communication.
CoRR
Shenghui Chen, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu
2025 — conf
Learning to Coordinate without Communication under Incomplete Information.
OVERLAY
Shenghui Chen, Shufang Zhu, Giuseppe De Giacomo, Ufuk Topcu
2025 J jnl
MoS-VLA: A Vision-Language-Action Model with One-Shot Skill Adaptation.
CoRR
Ruihan Zhao, Tyler Ingebrand, Sandeep Chinchali, Ufuk Topcu
2025 J jnl
More Information Is Not Always Better: Connections Between Zero-Sum Local Nash Equilibria in Feedback and Open-Loop Information Patterns.
IEEE Control. Syst. Lett.
Kushagra Gupta, Ross E. Allen, David Fridovich-Keil, Ufuk Topcu
2025 J jnl
More Information is Not Always Better: Connections between Zero-Sum Local Nash Equilibria in Feedback and Open-Loop Information Patterns.
CoRR
Kushagra Gupta, Ross E. Allen, David Fridovich-Keil, Ufuk Topcu
2025 J jnl
Multi-Environment POMDPs: Discrete Model Uncertainty Under Partial Observability.
CoRR
Eline M. Bovy, Caleb Probine, Marnix Suilen, Ufuk Topcu, Nils Jansen
2025 J jnl
Multi-Fidelity Policy Gradient Algorithms.
CoRR
Xinjie Liu, Cyrus Neary, Kushagra Gupta, Christian Ellis, Ufuk Topcu, David Fridovich-Keil
2025 A conf
MultiNash-PF: A Particle Filtering Approach for Computing Multiple Local Generalized Nash Equilibria in Trajectory Games.
IROS
Maulik Bhatt, Iman Askari, Yue Yu, Ufuk Topcu, Huazhen Fang, Negar Mehr
2025 — conf
Neural Port-Hamiltonian Differential Algebraic Equations for Compositional Learning of Electrical Networks.
CDC
Cyrus Neary, Nathan Tsao, Ufuk Topcu
2025 A* conf
Neural Stochastic Differential Equations for Uncertainty-Aware Offline RL.
ICLR
Cevahir Köprülü, Franck Djeumou, Ufuk Topcu
2025 A conf
News Source Credibility Assessment: A Reddit Case Study.
ICWSM
Arash Amini, Yigit Ege Bayiz, Ashwin Ram, Radu Marculescu, Ufuk Topcu
2025 J jnl
Non-Parametric Neuro-Adaptive Formation Control.
IEEE Trans Autom. Sci. Eng.
Christos K. Verginis, Zhe Xu, Ufuk Topcu
2025 J jnl
Noncooperative Equilibrium Selection via a Trading-based Auction.
CoRR
Jaehan Im, Filippos Fotiadis, Daniel Delahaye, Ufuk Topcu, David Fridovich-Keil
2025 J jnl
On the detection of Markov decision processes.
Autom.
Xiaoming Duan, Yagiz Savas, Rui Yan, Zhe Xu, Ufuk Topcu
2025 J jnl
Online Adaptation of Terrain-Aware Dynamics for Planning in Unstructured Environments.
CoRR
William Ward, Sarah Etter, Tyler Ingebrand, Christian Ellis, Adam J. Thorpe, Ufuk Topcu
2025 C conf
Optimal Multi-Spacecraft Refueling Planning for Cislunar Operations Using Multi-Fidelity Models.
ACC
Quentin Rommel, Michael Hibbard, John 'Jack' Chubick, Daniel J. Scheeres, Ufuk Topcu
2025 — conf
Optimal Prebunking Delivery Against Misinformation Propagation on Social Networks.
CDC
Yigit Ege Bayiz, Ufuk Topcu
2025 J jnl
Optimal Satellite Maneuvers for Spaceborne Jamming Attacks.
CoRR
Filippos Fotiadis, Quentin Rommel, Brian M. Sadler, Ufuk Topcu
2025 A conf
Pessimistic Iterative Planning with RNNs for Robust POMDPs.
ECAI
Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen
2025 A conf
Policies with Sparse Inter-Agent Dependencies in Dynamic Games: A Dynamic Programming Approach.
AAMAS
Xinjie Liu, Jingqi Li, Filippos Fotiadis, Mustafa O. Karabag, Jesse Milzman, David Fridovich-Keil, Ufuk Topcu
2025 J jnl
Privacy-aware Nash Equilibrium Synthesis with Partially Ordered LTL
CoRR
Caleb Probine, Abhishek Ninad Kulkarni, Ufuk Topcu
2025 J jnl
Randomized greedy methods for weak submodular sensor selection with robustness considerations.
Autom.
Ege C. Kaya, Michael Hibbard, Takashi Tanaka, Ufuk Topcu, Abolfazl Hashemi
2025 J jnl
Real-Time Privacy Preservation for Robot Visual Perception.
CoRR
Minkyu Choi, Yunhao Yang, Neel P. Bhatt, Kushagra Gupta, Sahil Shah, Aditya Rai, David Fridovich-Keil, Ufuk Topcu, Sandeep P. Chinchali
2025 J jnl
Real-Time Privacy Preservation for Robot Visual Perception.
Trans. Mach. Learn. Res.
Minkyu Choi, Yunhao Yang, Neel P. Bhatt, Kushagra Gupta, Sahil Shah, Aditya Rai, David Fridovich-Keil, Ufuk Topcu, Sandeep P. Chinchali
2025 J jnl
Relationship design for socially-aware behavior in static games.
Auton. Agents Multi Agent Syst.
Shenghui Chen, Yigit E. Bayiz, David Fridovich-Keil, Ufuk Topcu
2025 J jnl
RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification.
CoRR
Yunhao Yang, Neel P. Bhatt, Pranay Samineni, Rohan Siva, Zhangyang Wang, Ufuk Topcu
2025 J jnl
Runtime Safety through Adaptive Shielding: From Hidden Parameter Inference to Provable Guarantees.
CoRR
Minjae Kwon, Tyler Ingebrand, Ufuk Topcu, Lu Feng
2025 A* conf
Safety-Prioritizing Curricula for Constrained Reinforcement Learning.
ICLR
Cevahir Köprülü, Thiago D. Simão, Nils Jansen, Ufuk Topcu
2025 J jnl
Separation Assurance in Urban Air Mobility Systems using Shared Scheduling Protocols.
CoRR
Surya Murthy, Tyler Ingebrand, Sophia Smith, Ufuk Topcu, Peng Wei, Natasha A. Neogi
2025 A* conf
Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives.
AAAI
Abhishek Ninad Kulkarni, Jie Fu, Ufuk Topcu
2025 J jnl
Sequential Decision Making in Stochastic Games with Incomplete Preferences over Temporal Objectives.
CoRR
Abhishek Ninad Kulkarni, Jie Fu, Ufuk Topcu
2025 A conf
Susceptibility of Communities Against Low-Credibility Content in Social News Websites.
ICWSM
Yigit Ege Bayiz, Arash Amini, Radu Marculescu, Ufuk Topcu
2025 — conf
The Effect of Network Topology on the Equilibria of Influence-Opinion Games.
NETGCOOP
Yigit Ege Bayiz, Arash Amini, Radu Marculescu, Ufuk Topcu
2025 J jnl
The Effect of Network Topology on the Equilibria of Influence-Opinion Games.
CoRR
Yigit Ege Bayiz, Arash Amini, Radu Marculescu, Ufuk Topcu
2025 J jnl
UNCAP: Uncertainty-Guided Planning Using Natural Language Communication for Cooperative Autonomous Vehicles.
CoRR
Neel P. Bhatt, Po-han Li, Kushagra Gupta, Rohan Siva, Daniel Milan, Alexander T. Hogue, Sandeep P. Chinchali, David Fridovich-Keil, Zhangyang Wang, Ufuk Topcu
2025 A* conf
Uncertainty-Guided Enhancement on Driving Perception System Via Foundation Models.
ICRA
Yunhao Yang, Yuxin Hu, Mao Ye, Zaiwei Zhang, Zhichao Lu, Yi Xu, Ufuk Topcu, Ben Snyder
2025 C conf
Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine.
ACC
Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2025 J jnl
VIBE: Video-to-Text Information Bottleneck Evaluation for TL;DR.
CoRR
Shenghui Chen, Po-han Li, Sandeep Chichali, Ufuk Topcu
2025 J jnl
VLN-Zero: Rapid Exploration and Cache-Enabled Neurosymbolic Vision-Language Planning for Zero-Shot Transfer in Robot Navigation.
CoRR
Neel P. Bhatt, Yunhao Yang, Rohan Siva, Pranay Samineni, Daniel Milan, Zhangyang Wang, Ufuk Topcu
2025 — conf
Value of Information-based Deceptive Path Planning Under Adversarial Interventions.
CDC
Wesley A. Suttle, Jesse Milzman, Mustafa O. Karabag, Brian M. Sadler, Ufuk Topcu
2025 J jnl
Value of Information-based Deceptive Path Planning Under Adversarial Interventions.
CoRR
Wesley A. Suttle, Jesse Milzman, Mustafa O. Karabag, Brian M. Sadler, Ufuk Topcu
2025 J jnl
Verifiable Mission Planning For Space Operations.
CoRR
Quentin Rommel, Michael Hibbard, Pavan Shukla, Himanshu Save, Srinivas Bettadpur, Ufuk Topcu
2025 J jnl
Zero to Autonomy in Real-Time: Online Adaptation of Dynamics in Unstructured Environments.
CoRR
William Ward, Sarah Etter, Jesse Quattrociocchi, Christian Ellis, Adam J. Thorpe, Ufuk Topcu
2025 J jnl
Zero-Shot Function Encoder-Based Differentiable Predictive Control.
CoRR
Hassan Iqbal, Xingjian Li, Tyler Ingebrand, Adam J. Thorpe, Krishna Kumar, Ufuk Topcu, Ján Drgona
2024 — conf
A Decentralized Shotgun Approach for Team Deception.
GameSec
Caleb Probine, Mustafa O. Karabag, Ufuk Topcu
2024 A* conf
A Multifidelity Sim-to-Real Pipeline for Verifiable and Compositional Reinforcement Learning.
ICRA
Cyrus Neary, Christian Ellis, Aryaman Singh Samyal, Craig Lennon, Ufuk Topcu
2024 Misc conf
Accelerating Visual Sparse-Reward Learning with Latent Nearest-Demonstration-Guided Explorations.
CoRL
Ruihan Zhao, Ufuk Topcu, Sandeep P. Chinchali, Mariano Phielipp
2024 — conf
Active Learning of Dynamics Using Prior Domain Knowledge in the Sampling Process.
CDC
Kevin S. Miller, Adam J. Thorpe, Ufuk Topcu
2024 J jnl
Active Learning of Dynamics Using Prior Domain Knowledge in the Sampling Process.
CoRR
Kevin S. Miller, Adam J. Thorpe, Ufuk Topcu
2024 J jnl
Adaptive planning for risk-aware predictive digital twins.
CoRR
Marco Tezzele, Steven Carr, Ufuk Topcu, Karen E. Willcox
2024 J jnl
Addressing the Unforeseen Harms of Technology CCC Whitepaper.
CoRR
Nadya Bliss, Kevin R. B. Butler, David Danks, Ufuk Topcu, Matthew Turk
2024 C conf
Alpha-Fair Routing in Urban Air Mobility with Risk-Aware Constraints.
ACC
Yue Yu, Zhenyu Gao, Sarah H. Q. Li, Qinshuang Wei, John-Paul Clarke, Ufuk Topcu
2024 J jnl
Any2Any: Incomplete Multimodal Retrieval with Conformal Prediction.
CoRR
Po-han Li, Yunhao Yang, Mohammad Omama, Sandeep Chinchali, Ufuk Topcu
2024 J jnl
Auto-Encoding Bayesian Inverse Games.
CoRR
Xinjie Liu, Lasse Peters, Javier Alonso-Mora, Ufuk Topcu, David Fridovich-Keil
2024 J jnl
Autonomous Negotiation Using Comparison-Based Gradient Estimation.
CoRR
Surya Murthy, Mustafa O. Karabag, Ufuk Topcu
2024 J jnl
Basis-to-Basis Operator Learning Using Function Encoders.
CoRR
Tyler Ingebrand, Adam J. Thorpe, Somdatta Goswami, Krishna Kumar, Ufuk Topcu
2024 J jnl
CSA: Data-efficient Mapping of Unimodal Features to Multimodal Features.
CoRR
Po-han Li, Sandeep P. Chinchali, Ufuk Topcu
2024 J jnl
Community Driven Approaches to Research in Technology & Society CCC Workshop Report.
CoRR
Suresh Venkatasubramanian, Timnit Gebru, Ufuk Topcu, Haley Griffin, Leah Namisa Rosenbloom, Nasim Sonboli
2024 C conf
Control of Misinformation with Safety and Engagement Guarantees.
ACC
Arash Amini, Yigit E. Bayiz, Ufuk Topcu
2024 J jnl
Coordination in Noncooperative Multiplayer Matrix Games via Reduced Rank Correlated Equilibria.
CoRR
Jaehan Im, Yue Yu, David Fridovich-Keil, Ufuk Topcu
2024 J jnl
Coordination in Noncooperative Multiplayer Matrix Games via Reduced Rank Correlated Equilibria.
IEEE Control. Syst. Lett.
Jaehan Im, Yue Yu, David Fridovich-Keil, Ufuk Topcu
2024 C conf
Deceptive Planning for Resource Allocation.
ACC
Shenghui Chen, Yagiz Savas, Mustafa O. Karabag, Brian M. Sadler, Ufuk Topcu
2024 — conf
Defining and Measuring Deception in Sequential Decision Systems: Application to Network Defense.
MILCOM
Yerin Kim, Alexander Benvenuti, Bo Chen, Mustafa O. Karabag, Abhishek Ninad Kulkarni, Nathaniel D. Bastian, Ufuk Topcu, Matthew Hale
2024 J jnl
Dense Dynamics-Aware Reward Synthesis: Integrating Prior Experience with Demonstrations.
CoRR
Cevahir Köprülü, Po-han Li, Tianyu Qiu, Ruihan Zhao, Tyler Westenbroek, David Fridovich-Keil, Sandeep Chinchali, Ufuk Topcu
2024 C conf
Encouraging Inferable Behavior for Autonomy: Repeated Bimatrix Stackelberg Games with Observations.
ACC
Mustafa O. Karabag, Sophia Smith, David Fridovich-Keil, Ufuk Topcu
2024 — conf
Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems.
MLSys
Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Atlas Wang, Ufuk Topcu
2024 J jnl
Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing.
IEEE Trans. Intell. Veh.
Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu
2024 J jnl
Hierarchical Control for Head-to-Head Autonomous Racing.
Field Robotics
Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu
2024 J jnl
How Media Competition Fuels the Spread of Misinformation.
CoRR
Arash Amini, Yigit Ege Bayiz, Eun-Ju Lee, Zeynep Somer-Topcu, Radu Marculescu, Ufuk Topcu
2024 A* conf
Human-Agent Cooperation in Games under Incomplete Information through Natural Language Communication.
IJCAI
Shenghui Chen, Daniel Fried, Ufuk Topcu
2024 J jnl
Human-Agent Cooperation in Games under Incomplete Information through Natural Language Communication.
CoRR
Shenghui Chen, Daniel Fried, Ufuk Topcu
2024 J jnl
Human-Agent Coordination in Games under Incomplete Information via Multi-Step Intent.
CoRR
Shenghui Chen, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu
2024 J jnl
Identity concealment games: How I learned to stop revealing and love the coincidences.
Autom.
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
2024 J jnl
Joint Verification and Refinement of Language Models for Safety-Constrained Planning.
CoRR
Yunhao Yang, William Ward, Zichao Hu, Joydeep Biswas, Ufuk Topcu
2024 J jnl
Joint learning of reward machines and policies in environments with partially known semantics.
Artif. Intell.
Christos K. Verginis, Cevahir Köprülü, Sandeep Chinchali, Ufuk Topcu
2024 J jnl
Know Where You're Uncertain When Planning with Multimodal Foundation Models: A Formal Framework.
CoRR
Neel P. Bhatt, Yunhao Yang, Rohan Siva, Daniel Milan, Ufuk Topcu, Zhangyang Wang
2024 J jnl
Learning to Coordinate without Communication under Incomplete Information.
CoRR
Shenghui Chen, Shufang Zhu, Giuseppe De Giacomo, Ufuk Topcu
2024 A conf
MM3DGS SLAM: Multi-modal 3D Gaussian Splatting for SLAM Using Vision, Depth, and Inertial Measurements.
IROS
Lisong C. Sun, Neel P. Bhatt, Jonathan C. Liu, Zhiwen Fan, Zhangyang Wang, Todd E. Humphreys, Ufuk Topcu
2024 J jnl
MM3DGS SLAM: Multi-modal 3D Gaussian Splatting for SLAM Using Vision, Depth, and Inertial Measurements.
CoRR
Lisong C. Sun, Neel P. Bhatt, Jonathan C. Liu, Zhiwen Fan, Zhangyang Wang, Todd E. Humphreys, Ufuk Topcu
2024 J jnl
MultiNash-PF: A Particle Filtering Approach for Computing Multiple Local Generalized Nash Equilibria in Trajectory Games.
CoRR
Maulik Bhatt, Iman Askari, Yue Yu, Ufuk Topcu, Huazhen Fang, Negar Mehr
2024 A conf
Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception.
AAMAS
Yunhao Yang, Cyrus Neary, Ufuk Topcu
2024 J jnl
Nash Equilibrium in Games on Graphs with Incomplete Preferences.
CoRR
Abhishek Ninad Kulkarni, Jie Fu, Ufuk Topcu
2024 J jnl
Navigating the sociotechnical labyrinth: Dynamic certification for responsible embodied AI.
CoRR
Georgios Bakirtzis, Andrea Aler Tubella, Andreas Theodorou, David Danks, Ufuk Topcu
2024 J jnl
Neural Port-Hamiltonian Differential Algebraic Equations for Compositional Learning of Electrical Networks.
CoRR
Cyrus Neary, Nathan Tsao, Ufuk Topcu
2024 J jnl
News Source Credibility Assessment: A Reddit Case Study.
CoRR
Arash Amini, Yigit Ege Bayiz, Ashwin Ram, Radu Marculescu, Ufuk Topcu
2024 J jnl
No-Regret Learning in Dynamic Stackelberg Games.
IEEE Trans. Autom. Control.
Niklas T. Lauffer, Mahsa Ghasemi, Abolfazl Hashemi, Yagiz Savas, Ufuk Topcu
2024 J jnl
Noise-Aware and Equitable Urban Air Traffic Management: An Optimization Approach.
CoRR
Zhenyu Gao, Yue Yu, Qinshuang Wei, Ufuk Topcu, John-Paul Clarke
2024 J jnl
On Minimizing Total Discounted Cost in MDPs Subject to Reachability Constraints.
IEEE Trans. Autom. Control.
Yagiz Savas, Christos K. Verginis, Michael Hibbard, Ufuk Topcu
2024 J jnl
On The Planning Abilities of OpenAI's o1 Models: Feasibility, Optimality, and Generalizability.
CoRR
Kevin Wang, Junbo Li, Neel P. Bhatt, Yihan Xi, Qiang Liu, Ufuk Topcu, Zhangyang Wang
2024 J jnl
Online Foundation Model Selection in Robotics.
CoRR
Po-han Li, Öykü Selin Toprak, Aditya Narayanan, Ufuk Topcu, Sandeep Chinchali
2024 C conf
Optimization-Based Countering of Misinformation on Social Networks.
ACC
Yigit Ege Bayiz, Ufuk Topcu
2024 J jnl
Pessimistic Iterative Planning for Robust POMDPs.
CoRR
Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen
2024 C conf
Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control.
ACC
Adam J. Thorpe, Cyrus Neary, Franck Djeumou, Meeko M. K. Oishi, Ufuk Topcu
2024 J jnl
Policies with Sparse Inter-Agent Dependencies in Dynamic Games: A Dynamic Programming Approach.
CoRR
Xinjie Liu, Jingqi Li, Filippos Fotiadis, Mustafa O. Karabag, Jesse Milzman, David Fridovich-Keil, Ufuk Topcu
2024 J jnl
Privacy-Utility Tradeoffs Against Limited Adversaries.
IEEE Trans. Autom. Control.
Xiaoming Duan, Zhe Xu, Rui Yan, Ufuk Topcu
2024 J jnl
Randomized Greedy Methods for Weak Submodular Sensor Selection with Robustness Considerations.
CoRR
Ege C. Kaya, Michael Hibbard, Takashi Tanaka, Ufuk Topcu, Abolfazl Hashemi
2024 J jnl
Reasoning, Memorization, and Fine-Tuning Language Models for Non-Cooperative Games.
CoRR
Yunhao Yang, Leonard Berthellemy, Ufuk Topcu
2024 A conf
Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning.
ECAI
Georgios Bakirtzis, Michail Savvas, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu
2024 J jnl
Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning.
CoRR
Georgios Bakirtzis, Michail Savvas, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu
2024 A conf
Scalable Networked Feature Selection with Randomized Algorithm for Robot Navigation.
IROS
Vivek Pandey, Arash Amini, Guangyi Liu, Ufuk Topcu, Qiyu Sun, Kostas Daniilidis, Nader Motee
2024 J jnl
Scalable Networked Feature Selection with Randomized Algorithm for Robot Navigation.
CoRR
Vivek Pandey, Arash Amini, Guangyi Liu, Ufuk Topcu, Qiyu Sun, Kostas Daniilidis, Nader Motee
2024 J jnl
Second-Order Algorithms for Finding Local Nash Equilibria in Zero-Sum Games.
CoRR
Kushagra Gupta, Xinjie Liu, Ufuk Topcu, David Fridovich-Keil
2024 — conf
Sensing Resource Allocation Against Data-Poisoning Attacks in Traffic Routing.
CDC
Yue Yu, Adam J. Thorpe, Jesse Milzman, David Fridovich-Keil, Ufuk Topcu
2024 J jnl
Susceptibility of Communities against Low-Credibility Content in Social News Websites.
CoRR
Yigit Ege Bayiz, Arash Amini, Radu Marculescu, Ufuk Topcu
2024 J jnl
Uncertainty-Guided Enhancement on Driving Perception System via Foundation Models.
CoRR
Yunhao Yang, Yuxin Hu, Mao Ye, Zaiwei Zhang, Zhichao Lu, Yi Xu, Ufuk Topcu, Ben Snyder
2024 J jnl
Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine.
CoRR
Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2024 A* conf
Zero-Shot Reinforcement Learning via Function Encoders.
ICML
Tyler Ingebrand, Amy Zhang, Ufuk Topcu
2024 J jnl
Zero-Shot Reinforcement Learning via Function Encoders.
CoRR
Tyler Ingebrand, Amy Zhang, Ufuk Topcu
2024 A* conf
Zero-Shot Transfer of Neural ODEs.
NeurIPS
Tyler Ingebrand, Adam J. Thorpe, Ufuk Topcu
2024 J jnl
Zero-Shot Transfer of Neural ODEs.
CoRR
Tyler Ingebrand, Adam J. Thorpe, Ufuk Topcu
2023 J jnl
A Multifidelity Sim-to-Real Pipeline for Verifiable and Compositional Reinforcement Learning.
CoRR
Cyrus Neary, Christian Ellis, Aryaman Singh Samyal, Craig Lennon, Ufuk Topcu
2023 J jnl
Active Inverse Learning in Stackelberg Trajectory Games.
CoRR
Yue Yu, Jacob Levy, Negar Mehr, David Fridovich-Keil, Ufuk Topcu
2023 J jnl
Algorithmic Robustness.
CoRR
David Jensen, Brian LaMacchia, Ufuk Topcu, Pamela J. Wisniewski
2023 — conf
Automatic Decomposition of Reward Machines for Decentralized Multiagent Reinforcement Learning.
CDC
Sophia Smith, Cyrus Neary, Ufuk Topcu
2023 A* conf
Autonomous Drifting with 3 Minutes of Data via Learned Tire Models.
ICRA
Franck Djeumou, Jonathan Y. M. Goh, Ufuk Topcu, Avinash Balachandran
2023 J jnl
Autonomous Drifting with 3 Minutes of Data via Learned Tire Models.
CoRR
Franck Djeumou, Jonathan Y. M. Goh, Ufuk Topcu, Avinash Balachandran
2023 — conf
Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks.
L4DC
Cyrus Neary, Ufuk Topcu
2023 J jnl
Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications.
IEEE Access
Zhe Xu, Federico M. Zegers, Nasim Baharisangari, Bo Wu, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu
2023 C conf
Cost Design in Atomic Routing Games.
ACC
Yue Yu, Shenghui Chen, David Fridovich-Keil, Ufuk Topcu
2023 — conf
Decentralized Conflict Resolution for Multi-Agent Reinforcement Learning Through Shared Scheduling Protocols.
CDC
Tyler Ingebrand, Sophia Smith, Ufuk Topcu
2023 — conf
Differential Privacy for Stochastic Matrices Using the Matrix Dirichlet Mechanism.
CDC
Brandon Fallin, Calvin Hawkins, Bo Chen, Parham Gohari, Alexander Benvenuti, Ufuk Topcu, Matthew T. Hale
2023 A conf
Differential Privacy in Cooperative Multiagent Planning.
UAI
Bo Chen, Calvin Hawkins, Mustafa O. Karabag, Cyrus Neary, Matthew T. Hale, Ufuk Topcu
2023 J jnl
Differential Privacy in Cooperative Multiagent Planning.
CoRR
Bo Chen, Calvin Hawkins, Mustafa O. Karabag, Cyrus Neary, Matthew T. Hale, Ufuk Topcu
2023 C conf
Differentially Private Timeseries Forecasts for Networked Control.
ACC
Po-han Li, Sandeep P. Chinchali, Ufuk Topcu
2023 J jnl
Dynamic Certification for Autonomous Systems.
Commun. ACM
Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu
2023 J jnl
Dynamic Routing in Stochastic Urban Air Mobility Networks: A Markov Decision Process Approach.
CoRR
Qinshuang Wei, Yue Yu, Ufuk Topcu
2023 — conf
Efficient Sensitivity Analysis for Parametric Robust Markov Chains.
CAV (3)
Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
2023 J jnl
Efficient Sensitivity Analysis for Parametric Robust Markov Chains.
CoRR
Thom Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
2023 J jnl
Efficient Strategy Synthesis for MDPs With Resource Constraints.
IEEE Trans. Autom. Control.
Frantisek Blahoudek, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
2023 J jnl
Encouraging Inferable Behavior for Autonomy: Repeated Bimatrix Stackelberg Games with Observations.
CoRR
Mustafa O. Karabag, Sophia Smith, David Fridovich-Keil, Ufuk Topcu
2023 J jnl
Expedited Online Learning With Spatial Side Information.
IEEE Trans. Autom. Control.
Pranay Thangeda, Melkior Ornik, Ufuk Topcu
2023 J jnl
Exploiting Partial Observability for Optimal Deception.
IEEE Trans. Autom. Control.
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
2023 J jnl
Extrapolated Proportional-Integral Projected Gradient Method for Conic Optimization.
IEEE Control. Syst. Lett.
Yue Yu, Purnanand Elango, Behçet Açikmese, Ufuk Topcu
2023 J jnl
Fine-Tuning Language Models Using Formal Methods Feedback.
CoRR
Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Zhangyang Wang, Ufuk Topcu
2023 J jnl
Formal Methods for Autonomous Systems.
CoRR
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
2023 J jnl
Formal Methods for Autonomous Systems.
Found. Trends Syst. Control.
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
2023 Misc conf
How to Learn and Generalize From Three Minutes of Data: Physics-Constrained and Uncertainty-Aware Neural Stochastic Differential Equations.
CoRL
Franck Djeumou, Cyrus Neary, Ufuk Topcu
2023 J jnl
How to Learn and Generalize From Three Minutes of Data: Physics-Constrained and Uncertainty-Aware Neural Stochastic Differential Equations.
CoRR
Franck Djeumou, Cyrus Neary, Ufuk Topcu
2023 J jnl
Inverse Matrix Games With Unique Quantal Response Equilibrium.
IEEE Control. Syst. Lett.
Yue Yu, Jonathan Salfity, David Fridovich-Keil, Ufuk Topcu
2023 A* conf
Learning Interpretable Temporal Properties from Positive Examples Only.
AAAI
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2023 J jnl
Learning Sparse Control Tasks from Pixels by Latent Nearest-Neighbor-Guided Explorations.
CoRR
Ruihan Zhao, Ufuk Topcu, Sandeep Chinchali, Mariano Phielipp
2023 A conf
Memoryless Adversaries in Imperfect Information Games.
AAMAS
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu
2023 J jnl
Multimodal Pretrained Models for Sequential Decision-Making: Synthesis, Verification, Grounding, and Perception.
CoRR
Yunhao Yang, Cyrus Neary, Ufuk Topcu
2023 — conf
Non-Parametric Neuro-Adaptive Control.
ECC
Christos K. Verginis, Zhe Xu, Ufuk Topcu
2023 J jnl
On the Privacy Risks of Deploying Recurrent Neural Networks in Machine Learning Models.
Proc. Priv. Enhancing Technol.
Yunhao Yang, Parham Gohari, Ufuk Topcu
2023 A* conf
On the Sample Complexity of Vanilla Model-Based Offline Reinforcement Learning with Dependent Samples.
AAAI
Mustafa O. Karabag, Ufuk Topcu
2023 J jnl
On the Sample Complexity of Vanilla Model-Based Offline Reinforcement Learning with Dependent Samples.
CoRR
Mustafa O. Karabag, Ufuk Topcu
2023 J jnl
On the complexity of sabotage games for network security.
CoRR
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu
2023 J jnl
On-the-Fly Control of Unknown Nonlinear Systems With Sublinear Regret.
IEEE Trans. Autom. Control.
Abraham P. Vinod, Arie Israel, Ufuk Topcu
2023 J jnl
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability.
IEEE Trans. Autom. Control.
Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
2023 J jnl
Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control.
CoRR
Adam J. Thorpe, Cyrus Neary, Franck Djeumou, Meeko M. K. Oishi, Ufuk Topcu
2023 C conf
Poisoning Attacks Against Data-Driven Predictive Control.
ACC
Yue Yu, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu
2023 J jnl
Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching.
IEEE Trans. Autom. Control.
Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu, Ufuk Topcu
2023 J jnl
Prebunking Design as a Defense Mechanism Against Misinformation Propagation on Social Networks.
CoRR
Yigit Ege Bayiz, Ufuk Topcu
2023 — conf
Privacy-Engineered Value Decomposition Networks for Cooperative Multi-Agent Reinforcement Learning.
CDC
Parham Gohari, Matthew T. Hale, Ufuk Topcu
2023 J jnl
Privacy-Engineered Value Decomposition Networks for Cooperative Multi-Agent Reinforcement Learning.
CoRR
Parham Gohari, Matthew T. Hale, Ufuk Topcu
2023 J jnl
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach.
IEEE Trans. Autom. Control.
Franck Djeumou, Zhe Xu, Murat Cubuktepe, Ufuk Topcu
2023 — conf
Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems
CCTA
Steven Carr, Tichakorn Wongpiromsarn, Ufuk Topcu
2023 C conf
Randomized Greedy Algorithms for Sensor Selection in Large-Scale Satellite Constellations.
ACC
Michael Hibbard, Abolfazl Hashemi, Takashi Tanaka, Ufuk Topcu
2023 J jnl
Reactive synthesis for relay-explorer consensus with intermittent communication.
Autom.
Runhan Sun, Suda Bharadwaj, Zhe Xu, Ufuk Topcu, Warren E. Dixon
2023 J jnl
Reinforcement Learning With Reward Machines in Stochastic Games.
CoRR
Jueming Hu, Jean-Raphaël Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu
2023 A conf
Reinforcement Learning with Reward Machines in Stochastic Games.
ECAI
Jueming Hu, Jean-Raphaël Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu
2023 C conf
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams.
CD-MAKE
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
2023 J jnl
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams.
CoRR
Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu
2023 A conf
Reward-Machine-Guided, Self-Paced Reinforcement Learning.
AAMAS
Cevahir Köprülü, Ufuk Topcu
2023 J jnl
Reward-Machine-Guided, Self-Paced Reinforcement Learning.
CoRR
Cevahir Köprülü, Ufuk Topcu
2023 A conf
Reward-machine-guided, self-paced reinforcement learning.
UAI
Cevahir Köprülü, Ufuk Topcu
2023 J jnl
Risk-aware Urban Air Mobility Network Design with Overflow Redundancy.
CoRR
Qinshuang Wei, Zhenyu Gao, John-Paul Clarke, Ufuk Topcu
2023 A conf
Risk-aware curriculum generation for heavy-tailed task distributions.
UAI
Cevahir Köprülü, Thiago D. Simão, Nils Jansen, Ufuk Topcu
2023 A* conf
Safe Reinforcement Learning via Shielding under Partial Observability.
AAAI
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
2023 J jnl
Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality.
IEEE Trans. Robotics
Michael Hibbard, Abraham P. Vinod, Jesse Quattrociocchi, Ufuk Topcu
2023 — conf
Simulator-Driven Deceptive Control via Path Integral Approach.
CDC
Apurva Patil, Mustafa O. Karabag, Takashi Tanaka, Ufuk Topcu
2023 J jnl
Simulator-Driven Deceptive Control via Path Integral Approach.
CoRR
Apurva Patil, Mustafa O. Karabag, Takashi Tanaka, Ufuk Topcu
2023 J jnl
Simultaneous perception-action design via invariant finite belief sets.
Autom.
Michael Hibbard, Takashi Tanaka, Ufuk Topcu
2023 — conf
Soft-Bellman Equilibrium in Affine Markov Games: Forward Solutions and Inverse Learning.
CDC
Shenghui Chen, Yue Yu, David Fridovich-Keil, Ufuk Topcu
2023 J jnl
Soft-Bellman Equilibrium in Affine Markov Games: Forward Solutions and Inverse Learning.
CoRR
Shenghui Chen, Yue Yu, David Fridovich-Keil, Ufuk Topcu
2023 J jnl
Specification-Driven Video Search via Foundation Models and Formal Verification.
CoRR
Yunhao Yang, Jean-Raphaël Gaglione, Sandeep Chinchali, Ufuk Topcu
2023 J jnl
Task-Guided IRL in POMDPs that Scales.
CoRR
Franck Djeumou, Christian Ellis, Murat Cubuktepe, Craig Lennon, Ufuk Topcu
2023 A* conf
Task-aware Distributed Source Coding under Dynamic Bandwidth.
NeurIPS
Po-han Li, Sravan Kumar Ankireddy, Ruihan Philip Zhao, Hossein Nourkhiz Mahjoub, Ehsan Moradi-Pari, Ufuk Topcu, Sandeep Chinchali, Hyeji Kim
2023 J jnl
Task-aware Distributed Source Coding under Dynamic Bandwidth.
CoRR
Po-han Li, Sravan Kumar Ankireddy, Ruihan Zhao, Hossein Nourkhiz Mahjoub, Ehsan Moradi-Pari, Ufuk Topcu, Sandeep Chinchali, Hyeji Kim
2023 J jnl
Task-guided IRL in POMDPs that scales.
Artif. Intell.
Franck Djeumou, Christian Ellis, Murat Cubuktepe, Craig Lennon, Ufuk Topcu
2023 J jnl
Verifiable Reinforcement Learning Systems via Compositionality.
CoRR
Cyrus Neary, Aryaman Singh Samyal, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu
2023 J jnl
Vertiport Selection in Hybrid Air-Ground Transportation Networks via Mathematical Programs With Equilibrium Constraints.
IEEE Trans. Control. Netw. Syst.
Yue Yu, Mengyuan Wang, Mehran Mesbahi, Ufuk Topcu
2022 J jnl
Additive Logistic Mechanism for Privacy-Preserving Self-Supervised Learning.
CoRR
Yunhao Yang, Parham Gohari, Ufuk Topcu
2022 — conf
Adversarial Examples for Model-Based Control: A Sensitivity Analysis.
Allerton
Po-han Li, Ufuk Topcu, Sandeep P. Chinchali
2022 J jnl
Adversarial Examples for Model-Based Control: A Sensitivity Analysis.
CoRR
Po-han Li, Ufuk Topcu, Sandeep P. Chinchali
2022 — conf
AlgebraicSystems: Compositional Verification for Autonomous System Design.
ICCPS
Georgios Bakirtzis, Ufuk Topcu
2022 J jnl
AlgebraicSystems: Compositional Verification for Autonomous System Design.
CoRR
Georgios Bakirtzis, Ufuk Topcu
2022 — conf
Alternating Direction Method of Multipliers for Decomposable Saddle-Point Problems.
Allerton
Mustafa O. Karabag, David Fridovich-Keil, Ufuk Topcu
2022 J jnl
Alternating Direction Method of Multipliers for Decomposable Saddle-Point Problems.
CoRR
Mustafa O. Karabag, David Fridovich-Keil, Ufuk Topcu
2022 C conf
Blending Controllers via Multi-Objective Bandits.
ACC
Parham Gohari, Franck Djeumou, Abraham P. Vinod, Ufuk Topcu
2022 J jnl
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology.
IEEE Trans. Autom. Control.
Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
2022 J jnl
Categorical semantics of compositional reinforcement learning.
CoRR
Georgios Bakirtzis, Michail Savvas, Ufuk Topcu
2022 A* conf
Class-Aware Adversarial Transformers for Medical Image Segmentation.
NeurIPS
Chenyu You, Ruihan Zhao, Fenglin Liu, Siyuan Dong, Sandeep Chinchali, Ufuk Topcu, Lawrence H. Staib, James S. Duncan
2022 J jnl
Class-Aware Generative Adversarial Transformers for Medical Image Segmentation.
CoRR
Chenyu You, Ruihan Zhao, Fenglin Liu, Sandeep Chinchali, Ufuk Topcu, Lawrence H. Staib, James S. Duncan
2022 J jnl
Collaborative one-shot beamforming under localization errors: A discrete optimization approach.
Signal Process.
Yagiz Savas, Erfaun Noorani, Alec Koppel, John S. Baras, Ufuk Topcu, Brian M. Sadler
2022 J jnl
Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks.
CoRR
Cyrus Neary, Ufuk Topcu
2022 J jnl
Constrained, Global Optimization of Unknown Functions with Lipschitz Continuous Gradients.
SIAM J. Optim.
Abraham P. Vinod, Arie Israel, Ufuk Topcu
2022 J jnl
Convex Optimization for Parameter Synthesis in MDPs.
IEEE Trans. Autom. Control.
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2022 J jnl
Cost Design in Atomic Routing Games.
CoRR
Yue Yu, Shenghui Chen, David Fridovich-Keil, Ufuk Topcu
2022 J jnl
Countering Misinformation on Social Networks Using Graph Alterations.
CoRR
Yigit E. Bayiz, Ufuk Topcu
2022 — conf
Decentralized Online Influence Maximization.
Allerton
Yigit E. Bayiz, Ufuk Topcu
2022 J jnl
Deception in Supervisory Control.
IEEE Trans. Autom. Control.
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
2022 A* conf
Deceptive Decision-Making under Uncertainty.
AAAI
Yagiz Savas, Christos K. Verginis, Ufuk Topcu
2022 J jnl
Deceptive Planning for Resource Allocation.
CoRR
Yagiz Savas, Mustafa O. Karabag, Brian M. Sadler, Ufuk Topcu
2022 J jnl
Differentially Private Timeseries Forecasts for Networked Control.
CoRR
Po-han Li, Sandeep P. Chinchali, Ufuk Topcu
2022 J jnl
Dynamic Certification for Autonomous Systems.
CoRR
Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu
2022 J jnl
Entropy Maximization for Partially Observable Markov Decision Processes.
IEEE Trans. Autom. Control.
Yagiz Savas, Michael Hibbard, Bo Wu, Takashi Tanaka, Ufuk Topcu
2022 A conf
Faster non-convex federated learning via global and local momentum.
UAI
Rudrajit Das, Anish Acharya, Abolfazl Hashemi, Sujay Sanghavi, Inderjit S. Dhillon, Ufuk Topcu
2022 C conf
Guaranteeing Safety via Active-Set Invariance Filters for Multi-Agent Space Systems with Coupled Dynamics
ACC
Michael Hibbard, Ufuk Topcu, Kerianne Hobbs
2022 J jnl
Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing.
CoRR
Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu
2022 J jnl
Hierarchical Control for Multi-Agent Autonomous Racing.
CoRR
Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu
2022 J jnl
Inverse Matrix Games with Unique Nash Equilibrium.
CoRR
Yue Yu, Jonathan Salfity, David Fridovich-Keil, Ufuk Topcu
2022 J jnl
Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics.
CoRR
Christos K. Verginis, Cevahir Köprülü, Sandeep Chinchali, Ufuk Topcu
2022 J jnl
Learning Automata-Based Task Knowledge Representation from Large-Scale Generative Language Models.
CoRR
Yunhao Yang, Jean-Raphaël Gaglione, Ufuk Topcu
2022 J jnl
Learning Interpretable Temporal Properties from Positive Examples Only.
CoRR
Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2022 J jnl
Learning Temporal Logic Properties: an Overview of Two Recent Methods.
CoRR
Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2022 — conf
Learning to Reach, Swim, Walk and Fly in One Trial: Data-Driven Control with Scarce Data and Side Information.
L4DC
Franck Djeumou, Ufuk Topcu
2022 J jnl
MaxSAT-based temporal logic inference from noisy data.
Innov. Syst. Softw. Eng.
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2022 — conf
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling.
L4DC
Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
2022 J jnl
No-Regret Learning in Dynamic Stackelberg Games.
CoRR
Niklas T. Lauffer, Mahsa Ghasemi, Abolfazl Hashemi, Yagiz Savas, Ufuk Topcu
2022 A conf
Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems.
AAMAS
Christos K. Verginis, Zhe Xu, Ufuk Topcu
2022 J jnl
Non-Parametric Neuro-Adaptive Formation Control.
CoRR
Christos K. Verginis, Zhe Xu, Ufuk Topcu
2022 J jnl
On the Complexity of Sequential Incentive Design.
IEEE Trans. Autom. Control.
Yagiz Savas, Vijay Gupta, Ufuk Topcu
2022 J jnl
On-the-fly control of unknown nonlinear systems with sublinear regret.
CoRR
Abraham P. Vinod, Arie Israel, Ufuk Topcu
2022 A conf
Planning Not to Talk: Multiagent Systems that are Robust to Communication Loss.
AAMAS
Mustafa O. Karabag, Cyrus Neary, Ufuk Topcu
2022 J jnl
Planning Not to Talk: Multiagent Systems that are Robust to Communication Loss.
CoRR
Mustafa O. Karabag, Cyrus Neary, Ufuk Topcu
2022 J jnl
Poisoning Attacks Against Data-Driven Predictive Control.
CoRR
Yue Yu, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu
2022 J jnl
Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning.
IEEE Trans. Control. Netw. Syst.
Murat Cubuktepe, Frantisek Blahoudek, Ufuk Topcu
2022 J jnl
Probably Approximately Correct Learning in Adversarial Environments With Temporal Logic Specifications.
IEEE Trans. Autom. Control.
Min Wen, Ufuk Topcu
2022 J jnl
Proportional-integral projected gradient method for conic optimization.
Autom.
Yue Yu, Purnanand Elango, Ufuk Topcu, Behçet Açikmese
2022 J jnl
Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments.
Int. J. Robotics Res.
Ye Zhao, Yinan Li, Luis Sentis, Ufuk Topcu, Jun Liu
2022 J jnl
Real-Time Quadrotor Trajectory Optimization with Time-Triggered Corridor Constraints.
CoRR
Yue Yu, Kartik Nagpal, Margaret Skye Mceowen, Behçet Açikmese, Ufuk Topcu
2022 J jnl
Relationship Design for Socially Desirable Behavior in Static Games.
CoRR
Shenghui Chen, Yigit E. Bayiz, David Fridovich-Keil, Yue Yu, Ufuk Topcu
2022 A conf
Robust Training in High Dimensions via Block Coordinate Geometric Median Descent.
AISTATS
Anish Acharya, Abolfazl Hashemi, Prateek Jain, Sujay Sanghavi, Inderjit S. Dhillon, Ufuk Topcu
2022 J jnl
Safe Reinforcement Learning via Shielding for POMDPs.
CoRR
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
2022 J jnl
Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality.
CoRR
Michael Hibbard, Abraham P. Vinod, Jesse Quattrociocchi, Ufuk Topcu
2022 J jnl
Scenario-based verification of uncertain parametric MDPs.
Int. J. Softw. Tools Technol. Transf.
Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2022 J jnl
Sensor Placement for Online Fault Diagnosis.
CoRR
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu
2022 J jnl
Synthesis of strategies for autonomous surveillance on adversarial targets.
Robotics Auton. Syst.
Suda Bharadwaj, Rayna Dimitrova, Jesse Quattrociocchi, Ufuk Topcu
2022 A* conf
Task-Guided Inverse Reinforcement Learning under Partial Information.
ICAPS
Franck Djeumou, Murat Cubuktepe, Craig Lennon, Ufuk Topcu
2022 A* conf
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs.
IJCAI
Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
2022 J jnl
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs.
CoRR
Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
2022 A* conf
Verifiable and Compositional Reinforcement Learning Systems.
ICAPS
Cyrus Neary, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu
2021 J jnl
A 3D Printing Hexacopter: Design and Demonstration.
CoRR
Alexander J. Nettekoven, Ufuk Topcu
2021 — conf
A Barrier Pair Method for Safe Human-Robot Shared Autonomy.
CDC
Binghan He, Mahsa Ghasemi, Ufuk Topcu, Luis Sentis
2021 J jnl
A Barrier Pair Method for Safe Human-Robot Shared Autonomy.
CoRR
Binghan He, Mahsa Ghasemi, Ufuk Topcu, Luis Sentis
2021 C conf
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples.
CD-MAKE
Zhe Xu, Bo Wu, Aditya Ojha, Daniel Neider, Ufuk Topcu
2021 — conf
Adapting to the Behavior of Environments with Bounded Memory.
GandALF
Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu
2021 A* conf
Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners.
AAAI
Zhe Xu, Yuxin Chen, Ufuk Topcu
2021 A* conf
Advice-Guided Reinforcement Learning in a non-Markovian Environment.
AAAI
Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu
2021 A conf
Algorithms for Fairness in Sequential Decision Making.
AISTATS
Min Wen, Osbert Bastani, Ufuk Topcu
2021 — conf
Assured Learning-Based Optimal Control subject to Timed Temporal Logic Constraints.
CDC
Filippos Fotiadis, Christos K. Verginis, Kyriakos G. Vamvoudakis, Ufuk Topcu
2021 — conf
Collaborative Beamforming for Agents with Localization Errors.
ACSCC
Erfaun Noorani, Yagiz Savas, Alec Koppel, John S. Baras, Ufuk Topcu, Brian M. Sadler
2021 J jnl
Constrained Cross-Entropy Method for Safe Reinforcement Learning.
IEEE Trans. Autom. Control.
Min Wen, Ufuk Topcu
2021 J jnl
Control Theory Meets POMDPs: A Hybrid Systems Approach.
IEEE Trans. Autom. Control.
Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu
2021 J jnl
Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications.
CoRR
Zhe Xu, Federico M. Zegers, Bo Wu, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu
2021 J jnl
Convex Optimization for Parameter Synthesis in MDPs.
CoRR
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2021 A conf
Decentralized Classification with Assume-Guarantee Planning.
IROS
Steven Carr, Jesse Quattrociocchi, Suda Bharadwaj, Steven J. Spencer, Anup Parikh, Carol C. Young, Stephen P. Buerger, Bo Wu, Ufuk Topcu
2021 J jnl
Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility.
IEEE Trans. Control. Netw. Syst.
Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Ufuk Topcu
2021 J jnl
Deceptive Decision-Making Under Uncertainty.
CoRR
Yagiz Savas, Christos K. Verginis, Ufuk Topcu
2021 J jnl
Differential Privacy on the Unit Simplex via the Dirichlet Mechanism.
IEEE Trans. Inf. Forensics Secur.
Parham Gohari, Bo Wu, Calvin Hawkins, Matthew T. Hale, Ufuk Topcu
2021 J jnl
Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications.
IEEE Trans. Control. Netw. Syst.
Murat Cubuktepe, Zhe Xu, Ufuk Topcu
2021 J jnl
Efficient Strategy Synthesis for MDPs with Resource Constraints.
CoRR
Frantisek Blahoudek, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
2021 A conf
From Agile Ground to Aerial Navigation: Learning from Learned Hallucination.
IROS
Zizhao Wang, Xuesu Xiao, Alexander J. Nettekoven, Kadhiravan Umasankar, Anika Singh, Sriram Bommakanti, Ufuk Topcu, Peter Stone
2021 J jnl
From Agile Ground to Aerial Navigation: Learning from Learned Hallucination.
CoRR
Zizhao Wang, Xuesu Xiao, Alexander J. Nettekoven, Kadhiravan Umasankar, Anika Singh, Sriram Bommakanti, Ufuk Topcu, Peter Stone
2021 B conf
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption.
FM
Frantisek Blahoudek, Murat Cubuktepe, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
2021 J jnl
Function Approximation via Sparse Random Features.
CoRR
Abolfazl Hashemi, Hayden Schaeffer, Robert Shi, Ufuk Topcu, Giang Tran, Rachel A. Ward
2021 J jnl
Identity Concealment Games: How I Learned to Stop Revealing and Love the Coincidences.
CoRR
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
2021 J jnl
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach.
CoRR
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2021 B conf
Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach.
ATVA
Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2021 J jnl
Learning and Planning for Time-Varying MDPs Using Maximum Likelihood Estimation.
J. Mach. Learn. Res.
Melkior Ornik, Ufuk Topcu
2021 J jnl
Learning to Reach, Swim, Walk and Fly in One Trial: Data-Driven Control with Scarce Data and Side Information.
CoRR
Franck Djeumou, Ufuk Topcu
2021 — conf
Learning-Based, Safety-Constrained Control from Scarce Data via Reciprocal Barriers.
CDC
Christos K. Verginis, Franck Djeumou, Ufuk Topcu
2021 C conf
Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations.
ACC
Tichakorn Wongpiromsarn, Konstantin Slutsky, Emilio Frazzoli, Ufuk Topcu
2021 — conf
Minimum-Violation Traffic Management for Urban Air Mobility.
NFM
Suda Bharadwaj, Tichakorn Wongpiromsarn, Natasha A. Neogi, Joseph Muffoletto, Ufuk Topcu
2021 A* conf
Multiple Plans are Better than One: Diverse Stochastic Planning.
ICAPS
Mahsa Ghasemi, Evan Scope Crafts, Bo Zhao, Ufuk Topcu
2021 J jnl
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling.
CoRR
Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
2021 A conf
No-regret learning with high-probability in adversarial Markov decision processes.
UAI
Mahsa Ghasemi, Abolfazl Hashemi, Haris Vikalo, Ufuk Topcu
2021 J jnl
Non-Parametric Neuro-Adaptive Control Subject to Task Specifications.
CoRR
Christos K. Verginis, Zhe Xu, Ufuk Topcu
2021 J jnl
Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems.
CoRR
Christos K. Verginis, Zhe Xu, Ufuk Topcu
2021 — conf
On Controllability and Persistency of Excitation in Data-Driven Control: Extensions of Willems' Fundamental Lemma.
CDC
Yue Yu, Shahriar Talebi, Henk J. van Waarde, Ufuk Topcu, Mehran Mesbahi, Behçet Açikmese
2021 J jnl
On Controllability and Persistency of Excitation in Data-Driven Control: Extensions of Willems' Fundamental Lemma.
CoRR
Yue Yu, Shahriar Talebi, Henk J. van Waarde, Ufuk Topcu, Mehran Mesbahi, Behçet Açikmese
2021 J jnl
On The Vulnerability of Recurrent Neural Networks to Membership Inference Attacks.
CoRR
Yunhao Yang, Parham Gohari, Ufuk Topcu
2021 C conf
On-The-Fly Control of Unknown Smooth Systems from Limited Data.
ACC
Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
2021 — conf
On-the-fly, data-driven reachability analysis and control of unknown systems: an F-16 aircraft case study.
HSCC
Franck Djeumou, Aditya Zutshi, Ufuk Topcu
2021 C conf
Online Learning with Implicit Exploration in Episodic Markov Decision Processes.
ACC
Mahsa Ghasemi, Abolfazl Hashemi, Haris Vikalo, Ufuk Topcu
2021 J jnl
Online Synthesis for Runtime Enforcement of Safety in Multiagent Systems.
IEEE Trans. Control. Netw. Syst.
Dhananjay Raju, Sudarshanan Bharadwaj, Franck Djeumou, Ufuk Topcu
2021 Misc conf
Physical-Layer Security via Distributed Beamforming in the Presence of Adversaries with Unknown Locations.
ICASSP
Yagiz Savas, Abolfazl Hashemi, Abraham P. Vinod, Brian M. Sadler, Ufuk Topcu
2021 J jnl
Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning.
CoRR
Murat Cubuktepe, Frantisek Blahoudek, Ufuk Topcu
2021 J jnl
Privacy-Preserving Teacher-Student Deep Reinforcement Learning.
CoRR
Parham Gohari, Bo Chen, Bo Wu, Matthew T. Hale, Ufuk Topcu
2021 J jnl
Privacy-Utility Trade-Offs Against Limited Adversaries.
CoRR
Xiaoming Duan, Zhe Xu, Rui Yan, Ufuk Topcu
2021 J jnl
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach.
CoRR
Franck Djeumou, Zhe Xu, Murat Cubuktepe, Ufuk Topcu
2021 J jnl
Proportional-Integral Projected Gradient Method for Conic Optimization.
CoRR
Yue Yu, Purnanand Elango, Ufuk Topcu, Behçet Açikmese
2021 J jnl
Proportional-Integral Projected Gradient Method for Infeasibility Detection in Conic Optimization.
CoRR
Yue Yu, Ufuk Topcu
2021 J jnl
Randomized Greedy Sensor Selection: Leveraging Weak Submodularity.
IEEE Trans. Autom. Control.
Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo, Ufuk Topcu
2021 A conf
Reward Machines for Cooperative Multi-Agent Reinforcement Learning.
AAMAS
Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu
2021 A* conf
Robust Finite-State Controllers for Uncertain POMDPs.
AAAI
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
2021 J jnl
Robust Generative Adversarial Imitation Learning via Local Lipschitzness.
CoRR
Farzan Memarian, Abolfazl Hashemi, Scott Niekum, Ufuk Topcu
2021 J jnl
Robust Training in High Dimensions via Block Coordinate Geometric Median Descent.
CoRR
Anish Acharya, Abolfazl Hashemi, Prateek Jain, Sujay Sanghavi, Inderjit S. Dhillon, Ufuk Topcu
2021 A conf
Safe Multi-Agent Reinforcement Learning via Shielding.
AAMAS
Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng
2021 J jnl
Safe Multi-Agent Reinforcement Learning via Shielding.
CoRR
Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng
2021 — conf
Safe Policies for Factored Partially Observable Stochastic Games.
Robotics: Science and Systems
Steven Carr, Nils Jansen, Sudarshanan Bharadwaj, Matthijs T. J. Spaan, Ufuk Topcu
2021 J jnl
Safety-Constrained Learning and Control using Scarce Data and Reciprocal Barriers.
CoRR
Christos K. Verginis, Franck Djeumou, Ufuk Topcu
2021 J jnl
Scenario-Based Verification of Uncertain Parametric MDPs.
CoRR
Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2021 A conf
Self-Supervised Online Reward Shaping in Sparse-Reward Environments.
IROS
Farzan Memarian, Wonjoon Goo, Rudolf Lioutikov, Scott Niekum, Ufuk Topcu
2021 J jnl
Self-Supervised Online Reward Shaping in Sparse-Reward Environments.
CoRR
Farzan Memarian, Wonjoon Goo, Rudolf Lioutikov, Ufuk Topcu, Scott Niekum
2021 J jnl
Simultaneous Perception-Action Design via Invariant Finite Belief Sets.
CoRR
Michael Hibbard, Takashi Tanaka, Ufuk Topcu
2021 A* conf
Smooth Convex Optimization Using Sub-Zeroth-Order Oracles.
AAAI
Mustafa O. Karabag, Cyrus Neary, Ufuk Topcu
2021 J jnl
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions.
IEEE Trans. Autom. Control.
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2021 J jnl
Synthesis of Provably Correct Autonomy Protocols for Shared Control.
IEEE Trans. Autom. Control.
Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu
2021 J jnl
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes.
J. Artif. Intell. Res.
Steven Carr, Nils Jansen, Ufuk Topcu
2021 J jnl
Task-Guided Inverse Reinforcement Learning Under Partial Information.
CoRR
Franck Djeumou, Murat Cubuktepe, Craig Lennon, Ufuk Topcu
2021 — conf
Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking.
CDC
Aris Kanellopoulos, Filippos Fotiadis, Chuangchuang Sun, Zhe Xu, Kyriakos G. Vamvoudakis, Ufuk Topcu, Warren E. Dixon
2021 J jnl
Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking.
CoRR
Aris Kanellopoulos, Filippos Fotiadis, Chuangchuang Sun, Zhe Xu, Kyriakos G. Vamvoudakis, Ufuk Topcu, Warren E. Dixon
2021 A* conf
Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks.
AAAI
Yuqian Jiang, Suda Bharadwaj, Bo Wu, Rishi Shah, Ufuk Topcu, Peter Stone
2021 J jnl
Training classifiers for feedback control with safety in mind.
Autom.
Hasan A. Poonawala, Niklas T. Lauffer, Ufuk Topcu
2021 — conf
Uncertainty-Aware Signal Temporal Logic Inference.
VSTTE
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2021 J jnl
Uncertainty-Aware Signal Temporal logic.
CoRR
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu
2021 J jnl
Verifiable and Compositional Reinforcement Learning Systems.
CoRR
Cyrus Neary, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu
2020 J jnl
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples.
CoRR
Zhe Xu, Bo Wu, Daniel Neider, Ufuk Topcu
2020 — conf
Active Task-Inference-Guided Deep Inverse Reinforcement Learning.
CDC
Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu
2020 J jnl
Active Task-Inference-Guided Deep Inverse Reinforcement Learning.
CoRR
Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu
2020 J jnl
Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences.
CoRR
Zhe Xu, Yuxin Chen, Ufuk Topcu
2020 J jnl
Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust.
CoRR
Ufuk Topcu, Nadya Bliss, Nancy J. Cooke, Missy L. Cummings, Ashley J. Llorens, Howard E. Shrobe, Lenore D. Zuck
2020 — conf
BP-RRT: Barrier Pair Synthesis for Temporal Logic Motion Planning.
CDC
Binghan He, Jaemin Lee, Ufuk Topcu, Luis Sentis
2020 J jnl
BP-RRT: Barrier Pair Synthesis for Temporal Logic Motion Planning.
CoRR
Binghan He, Jaemin Lee, Ufuk Topcu, Luis Sentis
2020 J jnl
Blending Controllers via Multi-Objective Bandits.
CoRR
Parham Gohari, Franck Djeumou, Abraham P. Vinod, Ufuk Topcu
2020 J jnl
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology.
CoRR
Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
2020 J jnl
Constrained Active Classification Using Partially Observable Markov Decision Processes.
CoRR
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
2020 J jnl
Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach.
CoRR
Zhe Xu, Bo Wu, Ufuk Topcu
2020 J jnl
Control-Oriented Learning on the Fly.
IEEE Trans. Autom. Control.
Melkior Ornik, Steven Carr, Arie Israel, Ufuk Topcu
2020 C conf
Convexified contextual optimization for on-the-fly control of smooth systems.
ACC
Abraham P. Vinod, Arie Israel, Ufuk Topcu
2020 C conf
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications.
ACC
Zhe Xu, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu
2020 J jnl
Distributed Beamforming for Agents with Localization Errors.
CoRR
Erfaun Noorani, Yagiz Savas, Alec Koppel, John S. Baras, Ufuk Topcu, Brian M. Sadler
2020 J jnl
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications.
CoRR
Murat Cubuktepe, Zhe Xu, Ufuk Topcu
2020 J jnl
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints.
IEEE Trans. Autom. Control.
Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Mustafa O. Karabag, Ufuk Topcu
2020 C conf
Identifying Sparse Low-Dimensional Structures in Markov Chains: A Nonnegative Matrix Factorization Approach.
ACC
Mahsa Ghasemi, Abolfazl Hashemi, Haris Vikalo, Ufuk Topcu
2020 A* conf
Joint Inference of Reward Machines and Policies for Reinforcement Learning.
ICAPS
Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
2020 J jnl
Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations.
CoRR
Tichakorn Wongpiromsarn, Konstantin Slutsky, Emilio Frazzoli, Ufuk Topcu
2020 J jnl
Multiple Plans are Better than One: Diverse Stochastic Planning.
CoRR
Mahsa Ghasemi, Evan Scope Crafts, Bo Zhao, Ufuk Topcu
2020 A* conf
Near-Optimal Reactive Synthesis Incorporating Runtime Information.
ICRA
Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu
2020 J jnl
Near-Optimal Reactive Synthesis Incorporating Runtime Information.
CoRR
Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu
2020 J jnl
On-The-Fly Control of Unknown Smooth Systems from Limited Data.
CoRR
Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
2020 J jnl
On-The-Fly Control of Unknown Systems: From Side Information to Performance Guarantees through Reachability.
CoRR
Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
2020 J jnl
Playing Against Opponents With Limited Memory.
CoRR
Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu
2020 A conf
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications.
AAMAS
Murat Cubuktepe, Zhe Xu, Ufuk Topcu
2020 J jnl
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications.
CoRR
Murat Cubuktepe, Zhe Xu, Ufuk Topcu
2020 J jnl
Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching.
CoRR
Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu, Ufuk Topcu
2020 — conf
Privacy-Preserving Policy Synthesis in Markov Decision Processes.
CDC
Parham Gohari, Matthew T. Hale, Ufuk Topcu
2020 J jnl
Privacy-Preserving Policy Synthesis in Markov Decision Processes.
CoRR
Parham Gohari, Matthew T. Hale, Ufuk Topcu
2020 — conf
Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications.
Robotics: Science and Systems
Franck Djeumou, Zhe Xu, Ufuk Topcu
2020 — conf
Qualitative Controller Synthesis for Consumption Markov Decision Processes.
CAV (2)
Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
2020 J jnl
Qualitative Controller Synthesis for Consumption Markov Decision Processes.
CoRR
Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
2020 C conf
Reachability Games for Optimal Multi-agent Scheduling of Tasks with Variable Durations.
COCOA
Dhananjay Raju, Niklas T. Lauffer, Ufuk Topcu
2020 J jnl
Reactive synthesis with maximum realizability of linear temporal logic specifications.
Acta Informatica
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
2020 C conf
Resilient Distributed Hypothesis Testing with Time-Varying Network Topology.
ACC
Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
2020 J jnl
Reward Machines for Cooperative Multi-Agent Reinforcement Learning.
CoRR
Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu
2020 J jnl
Robust Finite-State Controllers for Uncertain POMDPs.
CoRR
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
2020 J jnl
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization
CoRR
Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu
2020 A* conf
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization.
IJCAI
Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu
2020 J jnl
Safe Controller Synthesis for Data-Driven Differential Inclusions.
IEEE Trans. Autom. Control.
Mohamadreza Ahmadi, Arie Israel, Ufuk Topcu
2020 — conf
Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization.
CDC
Murat Cubuktepe, Takashi Tanaka, Ufuk Topcu
2020 J jnl
Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization.
CoRR
Murat Cubuktepe, Takashi Tanaka, Ufuk Topcu
2020 — conf
Scenario-Based Verification of Uncertain MDPs.
TACAS (1)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2020 A* conf
Task-Oriented Active Perception and Planning in Environments with Partially Known Semantics.
ICML
Mahsa Ghasemi, Erdem Bulgur, Ufuk Topcu
2020 J jnl
Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks.
CoRR
Yuqian Jiang, Sudarshanan Bharadwaj, Bo Wu, Rishi Shah, Ufuk Topcu, Peter Stone
2020 C conf
The Dirichlet Mechanism for Differential Privacy on the Unit Simplex.
ACC
Parham Gohari, Bo Wu, Matthew T. Hale, Ufuk Topcu
2020 J jnl
Towards online monitoring and data-driven control: a study of segmentation algorithms for infrared images of the powder bed.
CoRR
Alexander J. Nettekoven, Scott Fish, Joseph Beaman, Ufuk Topcu
2020 A* conf
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints.
IJCAI
Steven Carr, Nils Jansen, Ufuk Topcu
2020 J jnl
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints.
CoRR
Steven Carr, Nils Jansen, Ufuk Topcu
2019 C conf
An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing.
ICMLA
Yingshui Tan, Baihong Jin, Alexander J. Nettekoven, Yuxin Chen, Yisong Yue, Ufuk Topcu, Alberto L. Sangiovanni-Vincentelli
2019 J jnl
An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing.
CoRR
Baihong Jin, Yingshui Tan, Alexander J. Nettekoven, Yuxin Chen, Ufuk Topcu, Yisong Yue, Alberto L. Sangiovanni-Vincentelli
2019 C conf
Barrier Certificates for Assured Machine Teaching.
ACC
Mohamadreza Ahmadi, Bo Wu, Yuxin Chen, Yisong Yue, Ufuk Topcu
2019 J jnl
Control Theory Meets POMDPs: A Hybrid Systems Approach.
CoRR
Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu
2019 — conf
Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach.
Allerton
Zhe Xu, Federico M. Zegers, Bo Wu, Warren E. Dixon, Ufuk Topcu
2019 J jnl
Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach.
CoRR
Zhe Xu, Federico M. Zegers, Bo Wu, Warren E. Dixon, Ufuk Topcu
2019 J jnl
Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications.
CoRR
Zhe Xu, Agung Julius, Ufuk Topcu, Joe H. Chow
2019 C conf
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes.
ACC
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
2019 A* conf
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks.
IJCAI
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
2019 J jnl
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks.
CoRR
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
2019 J jnl
Decentralized Runtime Synthesis of Shields for Multi-Agent Systems.
CoRR
Dhananjay Raju, Suda Bharadwaj, Ufuk Topcu
2019 J jnl
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications.
CoRR
Zhe Xu, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu
2019 J jnl
Distributed Synthesis of Surveillance Strategies for Mobile Sensors.
CoRR
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
2019 — conf
Entropy-Regularized Stochastic Games.
CDC
Yagiz Savas, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu
2019 J jnl
Fairness with Dynamics.
CoRR
Min Wen, Osbert Bastani, Ufuk Topcu
2019 — conf
Graph Temporal Logic Inference for Classification and Identification.
CDC
Zhe Xu, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu
2019 J jnl
Graph Temporal Logic Inference for Classification and Identification.
CoRR
Zhe Xu, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu
2019 — conf
Hierarchical Path Planning for Urban On-Demand Air Mobility.
CCTA
Dantong Ge, Ufuk Topcu
2019 J jnl
Identifying Low-Dimensional Structures in Markov Chains: A Nonnegative Matrix Factorization Approach.
CoRR
Mahsa Ghasemi, Abolfazl Hashemi, Haris Vikalo, Ufuk Topcu
2019 — conf
Incentive Design for Temporal Logic Objectives.
CDC
Yagiz Savas, Vijay Gupta, Melkior Ornik, Lillian J. Ratliff, Ufuk Topcu
2019 C conf
Information-Guided Temporal Logic Inference with Prior Knowledge.
ACC
Zhe Xu, Melkior Ornik, A. Agung Julius, Ufuk Topcu
2019 J jnl
Joint Inference of Reward Machines and Policies for Reinforcement Learning.
CoRR
Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
2019 J jnl
Learning and Planning for Time-Varying MDPs Using Maximum Likelihood Estimation.
CoRR
Melkior Ornik, Ufuk Topcu
2019 C conf
Least Inferable Policies for Markov Decision Processes.
ACC
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
2019 J jnl
Minimizing the Information Leakage Regarding High-Level Task Specifications.
CoRR
Michael Hibbard, Yagiz Savas, Zhe Xu, Ufuk Topcu
2019 C conf
Myopic Control of Systems with Unknown Dynamics.
ACC
Melkior Ornik, Steven Carr, Arie Israel, Ufuk Topcu
2019 C conf
On Submodularity of Quadratic Observation Selection in Constrained Networked Sensing Systems.
ACC
Mahsa Ghasemi, Abolfazl Hashemi, Ufuk Topcu, Haris Vikalo
2019 — conf
Online Active Perception for Partially Observable Markov Decision Processes with Limited Budget.
CDC
Mahsa Ghasemi, Ufuk Topcu
2019 J jnl
Online Active Perception for Partially Observable Markov Decision Processes with Limited Budget.
CoRR
Mahsa Ghasemi, Ufuk Topcu
2019 — conf
Optimal Deceptive and Reference Policies for Supervisory Control.
CDC
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
2019 A* conf
Perception-Aware Point-Based Value Iteration for Partially Observable Markov Decision Processes.
IJCAI
Mahsa Ghasemi, Ufuk Topcu
2019 J jnl
Reactive Synthesis with Maximum Realizability of Linear Temporal Logic Specifications.
CoRR
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
2019 — conf
Reward-Based Deception with Cognitive Bias.
CDC
Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu
2019 J jnl
Reward-Based Deception with Cognitive Bias.
CoRR
Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu
2019 A* conf
Salty-A Domain Specific Language for GR(1) Specifications and Designs.
ICRA
Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu
2019 J jnl
Scenario-Based Verification of Uncertain MDPs.
CoRR
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2019 — conf
Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization.
CDC
Suda Bharadwaj, Louis Ly, Bo Wu, Richard Tsai, Ufuk Topcu
2019 J jnl
Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization.
CoRR
Suda Bharadwaj, Louis Ly, Bo Wu, Richard Tsai, Ufuk Topcu
2019 — conf
Structured Synthesis for Probabilistic Systems.
NFM
Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu
2019 A* conf
Submodular Observation Selection and Information Gathering for Quadratic Models.
ICML
Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo, Ufuk Topcu
2019 — conf
Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis.
CDC
Bo Wu, Murat Cubuktepe, Ufuk Topcu
2019 J jnl
Synthesis of Admissible Shields.
CoRR
Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu
2019 C conf
Synthesis of Minimum-Cost Shields for Multi-agent Systems.
ACC
Suda Bharadwaj, Roderick Bloem, Rayna Dimitrova, Bettina Könighofer, Ufuk Topcu
2019 J jnl
Synthesis of Provably Correct Autonomy Protocols for Shared Control.
CoRR
Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu
2019 J jnl
The Dirichlet Mechanism for Differential Privacy on the Unit Simplex.
CoRR
Parham Gohari, Bo Wu, Matthew T. Hale, Ufuk Topcu
2019 A conf
Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions.
IROS
Rachel Schlossman, Minkyu Kim, Ufuk Topcu, Luis Sentis
2019 J jnl
Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions.
CoRR
Rachel Schlossman, Minkyu Kim, Ufuk Topcu, Luis Sentis
2019 — conf
Traffic Management for Urban Air Mobility.
NFM
Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu
2019 C conf
Training Classifiers For Feedback Control.
ACC
Hasan A. Poonawala, Niklas T. Lauffer, Ufuk Topcu
2019 A* conf
Transfer of Temporal Logic Formulas in Reinforcement Learning.
IJCAI
Zhe Xu, Ufuk Topcu
2019 J jnl
Transfer of Temporal Logic Formulas in Reinforcement Learning.
CoRR
Zhe Xu, Ufuk Topcu
2019 — conf
Unpredictable Planning Under Partial Observability.
CDC
Michael Hibbard, Yagiz Savas, Bo Wu, Takashi Tanaka, Ufuk Topcu
2018 C conf
A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks.
ACC
Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo, Ufuk Topcu
2018 — conf
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext.
MBMV
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2018 C conf
Active Sampling for Closed-Loop Statistical Verification of Uncertain Nonlinear Systems.
ACC
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How
2018 J jnl
Barrier Certificates for Assured Machine Teaching.
CoRR
Mohamadreza Ahmadi, Bo Wu, Yuxin Chen, Yisong Yue, Ufuk Topcu
2018 C conf
Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties.
ACC
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How
2018 — conf
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets.
ADHS
Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu, Brandon Hencey
2018 J jnl
Compositional and symbolic synthesis of reactive controllers for multi-agent systems.
Inf. Comput.
Rajeev Alur, Salar Moarref, Ufuk Topcu
2018 A* conf
Constrained Cross-Entropy Method for Safe Reinforcement Learning.
NeurIPS
Min Wen, Ufuk Topcu
2018 C conf
Control-Oriented Learning of Lagrangian and Hamiltonian Systems.
ACC
Mohamadreza Ahmadi, Ufuk Topcu, Clarence W. Rowley
2018 J jnl
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes.
CoRR
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
2018 A* conf
Counterexamples for Robotic Planning Explained in Structured Language.
ICRA
Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu
2018 J jnl
Counterexamples for Robotic Planning Explained in Structured Language.
CoRR
Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu
2018 — conf
Deception in Optimal Control.
Allerton
Melkior Ornik, Ufuk Topcu
2018 J jnl
Deception in Optimal Control.
CoRR
Melkior Ornik, Ufuk Topcu
2018 C conf
Distributed Synthesis Using Accelerated ADMM.
ACC
Mohamadreza Ahmadi, Murat Cubuktepe, Ufuk Topcu, Takashi Tanaka
2018 — conf
Distributed Synthesis of Surveillance Strategies for Mobile Sensors.
CDC
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
2018 — conf
Entropy Maximization for Constrained Markov Decision Processes.
Allerton
Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu
2018 J jnl
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints.
CoRR
Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu
2018 — conf
Expedited Learning in MDPs with Side Information.
CDC
Melkior Ornik, Jie Fu, Niklas T. Lauffer, W. K. Perera, Mohammed Alshiekh, Masahiro Ono, Ufuk Topcu
2018 — conf
Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems.
Allerton
Matija Bucic, Melkior Ornik, Ufuk Topcu
2018 C conf
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes.
ACC
Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu
2018 J jnl
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes.
CoRR
Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu
2018 J jnl
Information-Guided Temporal Logic Inference with Prior Knowledge.
CoRR
Zhe Xu, Melkior Ornik, A. Agung Julius, Ufuk Topcu
2018 C conf
Inverse Optimal Control with Regular Language Specifications.
ACC
Ivan Papusha, Min Wen, Ufuk Topcu
2018 B conf
Maximum Realizability for Linear Temporal Logic Specifications.
ATVA
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
2018 J jnl
Maximum Realizability for Linear Temporal Logic Specifications.
CoRR
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
2018 — conf
Model Checking for Safe Navigation Among Humans.
QEST
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe
2018 — conf
Privacy Verification in POMDPs via Barrier Certificates.
CDC
Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu
2018 J jnl
Privacy Verification in POMDPs via Barrier Certificates.
CoRR
Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu
2018 J jnl
Reactive Task and Motion Planning for Robust Whole-Body Dynamic Locomotion in Constrained Environments.
CoRR
Ye Zhao, Yinan Li, Luis Sentis, Ufuk Topcu, Jun Liu
2018 J jnl
Robust Myopic Control for Systems with Imperfect Observations.
CoRR
Dantong Ge, Melkior Ornik, Ufuk Topcu
2018 A* conf
Safe Reinforcement Learning via Shielding.
AAAI
Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu
2018 A* conf
Sensor Synthesis for POMDPs with Reachability Objectives.
ICAPS
Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu
2018 — conf
Stochastic Games with Sensing Costs.
Allerton
Mohamadreza Ahmadi, Suda Bharadwaj, Takashi Tanaka, Ufuk Topcu
2018 J jnl
Structured Synthesis for Probabilistic Systems.
CoRR
Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu
2018 B conf
Synthesis in pMDPs: A Tale of 1001 Parameters.
ATVA
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2018 — conf
Synthesis of Surveillance Strategies via Belief Abstraction.
CDC
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
2018 J jnl
The Partially Observable Games We Play for Cyber Deception.
CoRR
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2018 — conf
Transfer Entropy in MDPs with Temporal Logic Specifications.
CDC
Suda Bharadwaj, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu
2018 J jnl
Transfer Entropy in MDPs with Temporal Logic Specifications.
CoRR
Suda Bharadwaj, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu
2018 C conf
Verification of Markov Decision Processes with Risk-Sensitive Measures.
ACC
Murat Cubuktepe, Ufuk Topcu
2018 J jnl
Verification of Markov Decision Processes with Risk-Sensitive Measures.
CoRR
Murat Cubuktepe, Ufuk Topcu
2018 — conf
Verification of Uncertain POMDPs Using Barrier Certificates.
Allerton
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu
2018 J jnl
Verification of Uncertain POMDPs Using Barrier Certificates.
CoRR
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu
2017 J jnl
A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks.
CoRR
Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo, Ufuk Topcu
2017 J jnl
Active Sampling for Constrained Simulation-based Verification of Uncertain Nonlinear Systems.
CoRR
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How
2017 J jnl
Active Sampling-based Binary Verification of Dynamical Systems.
CoRR
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How
2017 A conf
Classification error correction: A case study in brain-computer interfacing.
IROS
Hasan A. Poonawala, Mohammed Alshiekh, Scott Niekum, Ufuk Topcu
2017 J jnl
Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties.
CoRR
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How
2017 J jnl
Control-Oriented Learning on the Fly.
CoRR
Melkior Ornik, Arie Israel, Ufuk Topcu
2017 J jnl
Differentially Private Distributed Constrained Optimization.
IEEE Trans. Autom. Control.
Shuo Han, Ufuk Topcu, George J. Pappas
2017 J jnl
Distributed Charging Control of Electric Vehicles Using Online Learning.
IEEE Trans. Autom. Control.
Wann-Jiun Ma, Vijay Gupta, Ufuk Topcu
2017 J jnl
Environment-Independent Task Specifications via GLTL.
CoRR
Michael L. Littman, Ufuk Topcu, Jie Fu, Charles Lee Isbell Jr., Min Wen, James MacGlashan
2017 A* conf
Learning from Demonstrations with High-Level Side Information.
IJCAI
Min Wen, Ivan Papusha, Ufuk Topcu
2017 J jnl
Motion Planning under Partial Observability using Game-Based Abstraction.
CoRR
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2017 — conf
Motion planning under partial observability using game-based abstraction.
CDC
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2017 C conf
Quantification on the efficiency gain of automated ridesharing services.
ACC
Shuo Han, Ufuk Topcu, George J. Pappas
2017 A* conf
Reduction Techniques for Model Checking and Learning in MDPs.
IJCAI
Suda Bharadwaj, Stéphane Le Roux, Guillermo A. Pérez, Ufuk Topcu
2017 — conf
Robustness of classifier-in-the-loop control systems: A hybrid-systems approach.
CDC
Hasan A. Poonawala, Ufuk Topcu
2017 J jnl
Safe Reinforcement Learning via Shielding.
CoRR
Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu
2017 — conf
Safety assessemt based on physically-viable data-driven models.
CDC
Mohamadreza Ahmadi, Arie Israel, Ufuk Topcu
2017 — conf
Sampling-based Approximate Optimal Control Under Temporal Logic Constraints.
HSCC
Jie Fu, Ivan Papusha, Ufuk Topcu
2017 J jnl
Sensor Synthesis for POMDPs with Reachability Objectives.
CoRR
Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu
2017 — conf
Sequential Convex Programming for the Efficient Verification of Parametric MDPs.
TACAS (2)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
2017 J jnl
Sequential Convex Programming for the Efficient Verification of Parametric MDPs.
CoRR
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
2017 J jnl
Shield synthesis.
Formal Methods Syst. Des.
Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang
2017 C conf
Synthesis of shared control protocols with provable safety and performance guarantees.
ACC
Nils Jansen, Murat Cubuktepe, Ufuk Topcu
2017 J jnl
Synthesis of surveillance strategies via belief abstraction.
CoRR
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
2016 A conf
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs.
TACAS
Daniel Neider, Ufuk Topcu
2016 J jnl
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs.
CoRR
Daniel Neider, Ufuk Topcu
2016 J jnl
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems.
IEEE Trans. Autom. Control.
Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew G. Lamperski
2016 — conf
Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints.
CDC
Ivan Papusha, Jie Fu, Ufuk Topcu, Richard M. Murray
2016 — conf
Case Studies in Data-Driven Verification of Dynamical Systems.
HSCC
Alexandar Kozarev, John F. Quindlen, Jonathan P. How, Ufuk Topcu
2016 J jnl
Characterizing two-timescale nonlinear dynamics using finite-time Lyapunov exponents and subspaces.
Commun. Nonlinear Sci. Numer. Simul.
Kenneth D. Mease, Ufuk Topcu, Erkut Aykutlug, Marco Maggia
2016 — conf
Compositional Synthesis of Reactive Controllers for Multi-agent Systems.
CAV (2)
Rajeev Alur, Salar Moarref, Ufuk Topcu
2016 — conf
Compositional Synthesis with Parametric Reactive Controllers.
HSCC
Rajeev Alur, Salar Moarref, Ufuk Topcu
2016 C conf
Event-based information-theoretic privacy: A case study of smart meters.
ACC
Shuo Han, Ufuk Topcu, George J. Pappas
2016 — conf
Filter-based stochastic abstractions for constrained planning with limited sensing.
CDC
Hasan A. Poonawala, Ufuk Topcu
2016 — conf
High-level planner synthesis for whole-body locomotion in unstructured environments.
CDC
Ye Zhao, Ufuk Topcu, Luis Sentis
2016 A conf
Human-interpretable diagnostic information for robotic planning systems.
IROS
Lu Feng, Laura R. Humphrey, Insup Lee, Ufuk Topcu
2016 J jnl
Manifold-Following Approximate Solution of Completely Hypersensitive Optimal Control Problems.
J. Optim. Theory Appl.
Erkut Aykutlug, Ufuk Topcu, Kenneth D. Mease
2016 A* conf
Optimal temporal logic planning in probabilistic semantic maps.
ICRA
Jie Fu, Nikolay Atanasov, Ufuk Topcu, George J. Pappas
2016 J jnl
Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction.
CoRR
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu
2016 — conf
Probabilistic Verification for Cognitive Models.
AAAI Fall Symposia
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu
2016 A* conf
Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications.
IJCAI
Min Wen, Ufuk Topcu
2016 C conf
Region-of-convergence estimation for learning-based adaptive controllers.
ACC
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How
2016 J jnl
Risk-Averse ω-regular Markov Decision Process Control.
CoRR
Rüdiger Ehlers, Salar Moarref, Ufuk Topcu
2016 — conf
Risk-averse control of Markov decision processes with ω-regular objectives.
CDC
Rüdiger Ehlers, Salar Moarref, Ufuk Topcu
2016 — conf
Robust optimal policies for Markov decision processes with safety-threshold constraints.
CDC
Rayna Dimitrova, Jie Fu, Ufuk Topcu
2016 A conf
Safety-Constrained Reinforcement Learning for MDPs.
TACAS
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
2016 — conf
Synthesis of Admissible Shields.
Haifa Verification Conference
Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu
2016 J jnl
Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems.
IEEE Trans Autom. Sci. Eng.
Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
2016 J jnl
Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints.
IEEE Trans. Autom. Control.
Jie Fu, Ufuk Topcu
2016 J jnl
Synthesis of Shared Autonomy Policies With Temporal Logic Specifications.
IEEE Trans Autom. Sci. Eng.
Jie Fu, Ufuk Topcu
2016 J jnl
Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees.
CoRR
Nils Jansen, Murat Cubuktepe, Ufuk Topcu
2015 — conf
A sublinear algorithm for barrier-certificate-based data-driven model validation of dynamical systems.
CDC
Shuo Han, Ufuk Topcu, George J. Pappas
2015 C conf
An approximately truthful mechanism for electric vehicle charging via joint differential privacy.
ACC
Shuo Han, Ufuk Topcu, George J. Pappas
2015 — conf
Computational methods for stochastic control with metric interval temporal logic specifications.
CDC
Jie Fu, Ufuk Topcu
2015 J jnl
Computational methods for stochastic control with metric interval temporal logic specifications.
CoRR
Jie Fu, Ufuk Topcu
2015 — conf
Controller synthesis for autonomous systems interacting with human operators.
ICCPS
Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
2015 J jnl
Convex Optimal Uncertainty Quantification.
SIAM J. Optim.
Shuo Han, Molei Tao, Ufuk Topcu, Houman Owhadi, Richard M. Murray
2015 A conf
Correct-by-synthesis reinforcement learning with temporal logic constraints.
IROS
Min Wen, Rüdiger Ehlers, Ufuk Topcu
2015 J jnl
Correct-by-synthesis reinforcement learning with temporal logic constraints.
CoRR
Min Wen, Rüdiger Ehlers, Ufuk Topcu
2015 — conf
Estimator-based reactive synthesis under incomplete information.
HSCC
Rüdiger Ehlers, Ufuk Topcu
2015 J jnl
Exact Convex Relaxation of Optimal Power Flow in Radial Networks.
IEEE Trans. Autom. Control.
Lingwen Gan, Na Li, Ufuk Topcu, Steven H. Low
2015 C conf
Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations.
ACC
Jie Fu, Ufuk Topcu
2015 J jnl
Optimal Temporal Logic Planning in Probabilistic Semantic Maps.
CoRR
Jie Fu, Nikolay Atanasov, Ufuk Topcu, George J. Pappas
2015 — conf
Optimal control in Markov decision processes via distributed optimization.
CDC
Jie Fu, Shuo Han, Ufuk Topcu
2015 J jnl
Optimal control in Markov decision processes via distributed optimization.
CoRR
Jie Fu, Shuo Han, Ufuk Topcu
2015 A* conf
Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints.
ICRA
Jie Fu, Ufuk Topcu
2015 A conf
Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis.
TACAS
Rajeev Alur, Salar Moarref, Ufuk Topcu
2015 J jnl
Safety-Constrained Reinforcement Learning for MDPs.
CoRR
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
2015 J jnl
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution.
IEEE Trans. Control. Netw. Syst.
Huan Xu, Ufuk Topcu, Richard M. Murray
2015 A conf
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives.
TACAS
Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche
2015 J jnl
Strategy Synthesis for Stochastic Rabin Games with Discounted Reward.
CoRR
Min Wen, Ufuk Topcu
2015 C conf
Value of forecasts in planning under uncertainty.
ACC
Konstantinos Gatsis, Ufuk Topcu, George J. Pappas
2014 C conf
Abstractions and sensor design in partial-information, reactive controller synthesis.
ACC
Jie Fu, Rayna Dimitrova, Ufuk Topcu
2014 J jnl
Abstractions and sensor design in partial-information, reactive controller synthesis.
CoRR
Jie Fu, Rayna Dimitrova, Ufuk Topcu
2014 J jnl
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems.
CoRR
Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew G. Lamperski
2014 J jnl
Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed.
J. Aerosp. Inf. Syst.
Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2014 J jnl
Design and Stability of Load-Side Primary Frequency Control in Power Systems.
IEEE Trans. Autom. Control.
Changhong Zhao, Ufuk Topcu, Na Li, Steven H. Low
2014 J jnl
Differentially Private Convex Optimization with Piecewise Affine Objectives.
CoRR
Shuo Han, Ufuk Topcu, George J. Pappas
2014 J jnl
Differentially Private Distributed Constrained Optimization.
CoRR
Shuo Han, Ufuk Topcu, George J. Pappas
2014 — conf
Differentially private convex optimization with piecewise affine objectives.
CDC
Shuo Han, Ufuk Topcu, George J. Pappas
2014 — conf
Differentially private distributed protocol for electric vehicle charging.
Allerton
Shuo Han, Ufuk Topcu, George J. Pappas
2014 — conf
Distributed charging control of electric vehicles using regret minimization.
CDC
Wann-Jiun Ma, Vijay Gupta, Ufuk Topcu
2014 — conf
Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles.
AAAI Spring Symposia
Laura R. Humphrey, Eric M. Wolff, Ufuk Topcu
2014 J jnl
Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations.
CoRR
Jie Fu, Ufuk Topcu
2014 C conf
On distributed charging control of electric vehicles with power network capacity constraints.
ACC
Wann-Jiun Ma, Vijay Gupta, Ufuk Topcu
2014 A* conf
Optimization-based trajectory generation with linear temporal logic specifications.
ICRA
Eric M. Wolff, Ufuk Topcu, Richard M. Murray
2014 J jnl
Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints.
CoRR
Jie Fu, Ufuk Topcu
2014 — conf
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints.
Robotics: Science and Systems
Jie Fu, Ufuk Topcu
2014 J jnl
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints.
CoRR
Jie Fu, Ufuk Topcu
2014 — conf
Resilience to intermittent assumption violations in reactive synthesis.
HSCC
Rüdiger Ehlers, Ufuk Topcu
2013 — conf
An aircraft electric power testbed for validating automatically synthesized reactive control protocols.
HSCC
Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2013 B conf
Automated synthesis of reactive controllers for software-defined networks.
ICNP
Anduo Wang, Salar Moarref, Boon Thau Loo, Ufuk Topcu, Andre Scedrov
2013 A conf
Automaton-guided controller synthesis for nonlinear systems with temporal logic.
IROS
Eric M. Wolff, Ufuk Topcu, Richard M. Murray
2013 C conf
Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids.
ACC
Shuo Han, Ufuk Topcu, Molei Tao, Houman Owhadi, Richard M. Murray
2013 C conf
Convexifying optimal power flow: Recent advances in OPF solution methods.
ACC
Steven H. Low, Dennice F. Gayme, Ufuk Topcu
2013 J jnl
Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications.
CoRR
Rajeev Alur, Salar Moarref, Ufuk Topcu
2013 B conf
Counter-strategy guided refinement of GR(1) temporal logic specifications.
FMCAD
Rajeev Alur, Salar Moarref, Ufuk Topcu
2013 A* conf
Efficient reactive controller synthesis for a fragment of linear temporal logic.
ICRA
Eric M. Wolff, Ufuk Topcu, Richard M. Murray
2013 A* conf
Exact convex relaxation for optimal power flow in distribution networks.
SIGMETRICS
Lingwen Gan, Na Li, Steven H. Low, Ufuk Topcu
2013 — conf
Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic.
CDC
Eric M. Wolff, Ufuk Topcu, Richard M. Murray
2013 — conf
Optimal power flow in tree networks.
CDC
Lingwen Gan, Na Li, Ufuk Topcu, Steven H. Low
2013 J jnl
Power System Dynamics as Primal-Dual Algorithm for Optimal Load Control
CoRR
Changhong Zhao, Ufuk Topcu, Na Li, Steven H. Low
2013 — conf
Real-time deferrable load control: handling the uncertainties of renewable generation.
e-Energy
Lingwen Gan, Adam Wierman, Ufuk Topcu, Niangjun Chen, Steven H. Low
2013 J jnl
Real-time deferrable load control: handling the uncertainties of renewable generation.
SIGMETRICS Perform. Evaluation Rev.
Lingwen Gan, Adam Wierman, Ufuk Topcu, Niangjun Chen, Steven H. Low
2013 — conf
Risk-limiting power grid control with an ARMA-based prediction model.
CDC
Masahiro Ono, Ufuk Topcu, Masaki Yo, Shuichi Adachi
2013 J jnl
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications.
IEEE Trans. Autom. Control.
Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2013 C conf
Towards smart, flexible and efficient power systems: Vision and research challenges.
ACC
Ufuk Topcu, Dennice F. Gayme, Steven H. Low, Pramod P. Khargonekar
2012 — conf
A case study on reactive protocols for aircraft electric power distribution.
CDC
Huan Xu, Ufuk Topcu, Richard M. Murray
2012 C conf
Frequency-based load control in power systems.
ACC
Changhong Zhao, Ufuk Topcu, Steven H. Low
2012 — conf
On synthesizing robust discrete controllers under modeling uncertainty.
HSCC
Ufuk Topcu, Necmiye Ozay, Jun Liu, Richard M. Murray
2012 — conf
On the exactness of convex relaxation for optimal power flow in tree networks.
CDC
Lingwen Gan, Na Li, Ufuk Topcu, Steven H. Low
2012 — conf
Optimal Control with Weighted Average Costs and Temporal Logic Specifications.
Robotics: Science and Systems
Eric M. Wolff, Ufuk Topcu, Richard M. Murray
2012 — conf
Optimal placement of energy storage in the grid.
CDC
Subhonmesh Bose, Dennice F. Gayme, Ufuk Topcu, K. Mani Chandy
2012 — conf
Reactive controllers for differentially flat systems with temporal logic constraints.
CDC
Jun Liu, Ufuk Topcu, Necmiye Ozay, Richard M. Murray
2012 J jnl
Receding Horizon Temporal Logic Planning.
IEEE Trans. Autom. Control.
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
2012 C conf
Risk-mitigated optimal power flow for wind powered grids.
ACC
Emma Sjodin, Dennice F. Gayme, Ufuk Topcu
2012 — conf
Robust control of uncertain Markov Decision Processes with temporal logic specifications.
CDC
Eric M. Wolff, Ufuk Topcu, Richard M. Murray
2012 — conf
Some problems in demand side management.
APSIPA
Lingwen Gan, Libin Jiang, Steven H. Low, Ufuk Topcu, Changhong Zhao
2012 — conf
Swing dynamics as primal-dual algorithm for optimal load control.
SmartGridComm
Changhong Zhao, Ufuk Topcu, Steven H. Low
2012 C conf
Switching protocol synthesis for temporal logic specifications.
ACC
Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2012 J jnl
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication
CoRR
Clemens Wiltsche, Ufuk Topcu, Richard M. Murray
2012 C conf
Temporal logic control of switched affine systems with an application in fuel balancing.
ACC
Petter Nilsson, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2012 A* conf
Towards formal synthesis of reactive controllers for dexterous robotic manipulation.
ICRA
Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu, Joel W. Burdick, Richard M. Murray
2011 J jnl
Analysis of autocatalytic networks in biology.
Autom.
Gentian Buzi, Ufuk Topcu, John C. Doyle
2011 J jnl
Correct, Reactive, High-Level Robot Control.
IEEE Robotics Autom. Mag.
Hadas Kress-Gazit, Tichakorn Wongpiromsarn, Ufuk Topcu
2011 — conf
Distributed Synthesis of Control Protocols for Smart Camera Networks.
ICCPS
Necmiye Ozay, Ufuk Topcu, Richard M. Murray, Tichakorn Wongpiromsarn
2011 — conf
Distributed power allocation for vehicle management systems.
CDC/ECC
Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2011 — conf
Optimal decentralized protocol for electric vehicle charging.
CDC/ECC
Lingwen Gan, Ufuk Topcu, Steven H. Low
2011 — conf
Optimal design of hybrid energy system with PV/wind turbine/storage: A case study.
SmartGridComm
Rui Huang, Steven H. Low, Ufuk Topcu, K. Mani Chandy, Christopher R. Clarke
2011 C conf
Optimal power flow with distributed energy storage dynamics.
ACC
Dennice F. Gayme, Ufuk Topcu
2011 J jnl
Optimization-Based Constrained Iterative Learning Control.
IEEE Trans. Control. Syst. Technol.
Sandipan Mishra, Ufuk Topcu, Masayoshi Tomizuka
2011 J jnl
Rigorous uncertainty quantification without integral testing.
Reliab. Eng. Syst. Saf.
Ufuk Topcu, Leonard J. Lucas, Houman Owhadi, Michael Ortiz
2011 — conf
TuLiP: a software toolbox for receding horizon temporal logic planning.
HSCC
Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray
2010 — conf
A simple optimal power flow model with energy storage.
CDC
K. Mani Chandy, Steven H. Low, Ufuk Topcu, Huan Xu
2010 — conf
Automatic Synthesis of Robust Embedded Control Software.
AAAI Spring Symposium: Embedded Reasoning
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
2010 C conf
Compositional analysis of autocatalytic networks in biology.
ACC
Gentian Buzi, Ufuk Topcu, John C. Doyle
2010 — conf
Load-shedding probabilities with hybrid renewable power generation and energy storage.
Allerton
Huan Xu, Ufuk Topcu, Steven H. Low, Christopher R. Clarke, K. Mani Chandy
2010 C conf
Quantitative nonlinear analysis of autocatalytic pathways with applications to glycolysis.
ACC
Gentian Buzi, Ufuk Topcu, John C. Doyle
2010 — conf
Receding horizon control for temporal logic specifications.
HSCC
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
2010 J jnl
Robust Region-of-Attraction Estimation.
IEEE Trans. Autom. Control.
Ufuk Topcu, Andrew K. Packard, Peter J. Seiler, Gary J. Balas
2009 — conf
Compositional stability analysis based on dual decomposition.
CDC
Ufuk Topcu, Andrew K. Packard, Richard M. Murray
2009 C conf
Iterative learning control with saturation constraints.
ACC
Sandipan Mishra, Ufuk Topcu, Masayoshi Tomizuka
2009 C conf
Linearized analysis versus optimization-based nonlinear analysis for nonlinear systems.
ACC
Ufuk Topcu, Andrew K. Packard
2009 J jnl
Local Stability Analysis for Uncertain Nonlinear Systems.
IEEE Trans. Autom. Control.
Ufuk Topcu, Andrew K. Packard
2009 C conf
Local robust performance analysis for nonlinear dynamical systems.
ACC
Ufuk Topcu, Andrew K. Packard
2009 J jnl
Parameter estimation with expected and residual-at-risk criteria.
Syst. Control. Lett.
Giuseppe Carlo Calafiore, Ufuk Topcu, Laurent El Ghaoui
2009 J jnl
Parameter-Dependent Lyapunov Functions for Linear Systems With Constant Uncertainties.
IEEE Trans. Autom. Control.
Peter J. Seiler, Ufuk Topcu, Andrew K. Packard, Gary J. Balas
2009 — conf
Receding horizon temporal logic planning for dynamical systems.
CDC
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
2009 — conf
Stability region estimation for systems with unmodeled dynamics.
ECC
Ufuk Topcu, Andrew K. Packard, Peter J. Seiler, Gary Balas
2008 C conf
Local stability analysis for uncertain nonlinear systems using a branch-and-bound algorithm.
ACC
Ufuk Topcu, Andrew K. Packard, Peter J. Seiler, Gary Balas
2008 J jnl
Local stability analysis using simulations and sum-of-squares programming.
Autom.
Ufuk Topcu, Andrew K. Packard, Peter J. Seiler
2008 — conf
Multistage investments with recourse: A single-asset case with transaction costs.
CDC
Ufuk Topcu, Giuseppe Carlo Calafiore, Laurent El Ghaoui
2008 — conf
Parameter estimation with expected and residual-at-risk criteria.
CDC
Giuseppe Carlo Calafiore, Ufuk Topcu, Laurent El Ghaoui
2008 — conf
Simulation-aided reachability and local gain analysis for nonlinear dynamical systems.
CDC
Weehong Tan, Ufuk Topcu, Peter J. Seiler, Gary J. Balas, Andrew K. Packard
2007 C conf
Stability Region Analysis Using Simulations and Sum-of-Squares Programming.
ACC
Ufuk Topcu, Andrew K. Packard, Peter J. Seiler, Timothy J. Wheeler
2007 — conf
Stability region analysis for uncertain nonlinear systems.
CDC
Ufuk Topcu, Andrew K. Packard
2006 — conf
Using Lyapunov Vectors and Dichotomy to Solve Hyper-Sensitive Optimal Control Problems.
CDC
Ufuk Topcu, Kenneth D. Mease