![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Ufuk Topcu
Person information
- affiliation: University of Texas at Austin, Department of Aerospace Engineering and Engineering Mechanics, TX, USA
- affiliation (former): University of Pennsylvania, Philadelphia, PA, USA
- affiliation (PhD 2008): University of California at Berkeley, CA, USA
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j81]Christos K. Verginis
, Cevahir Köprülü, Sandeep Chinchali, Ufuk Topcu:
Joint learning of reward machines and policies in environments with partially known semantics. Artif. Intell. 333: 104146 (2024) - [j80]Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu:
Identity concealment games: How I learned to stop revealing and love the coincidences. Autom. 161: 111482 (2024) - [j79]Jaehan Im
, Yue Yu
, David Fridovich-Keil
, Ufuk Topcu
:
Coordination in Noncooperative Multiplayer Matrix Games via Reduced Rank Correlated Equilibria. IEEE Control. Syst. Lett. 8: 1637-1642 (2024) - [j78]Xiaoming Duan
, Zhe Xu
, Rui Yan
, Ufuk Topcu
:
Privacy-Utility Tradeoffs Against Limited Adversaries. IEEE Trans. Autom. Control. 69(1): 519-526 (2024) - [j77]Niklas T. Lauffer
, Mahsa Ghasemi
, Abolfazl Hashemi
, Yagiz Savas
, Ufuk Topcu
:
No-Regret Learning in Dynamic Stackelberg Games. IEEE Trans. Autom. Control. 69(3): 1418-1431 (2024) - [j76]Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu:
Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing. IEEE Trans. Intell. Veh. 9(5): 4845-4860 (2024) - [c252]Yunhao Yang, Cyrus Neary, Ufuk Topcu:
Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception. AAMAS 2024: 2011-2019 - [c251]Cyrus Neary, Christian Ellis, Aryaman Singh Samyal, Craig Lennon, Ufuk Topcu:
A Multifidelity Sim-to-Real Pipeline for Verifiable and Compositional Reinforcement Learning. ICRA 2024: 4349-4355 - [c250]Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Atlas Wang, Ufuk Topcu:
Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems. MLSys 2024 - [i206]Zhenyu Gao, Yue Yu, Qinshuang Wei, Ufuk Topcu, John-Paul Clarke:
Noise-Aware and Equitable Urban Air Traffic Management: An Optimization Approach. CoRR abs/2401.00806 (2024) - [i205]Tyler Ingebrand, Amy Zhang, Ufuk Topcu:
Zero-Shot Reinforcement Learning via Function Encoders. CoRR abs/2401.17173 (2024) - [i204]Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu:
Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine. CoRR abs/2402.07069 (2024) - [i203]Po-han Li, Öykü Selin Toprak, Aditya Narayanan, Ufuk Topcu, Sandeep Chinchali:
Online Foundation Model Selection in Robotics. CoRR abs/2402.08570 (2024) - [i202]Xinjie Liu, Lasse Peters, Javier Alonso-Mora, Ufuk Topcu, David Fridovich-Keil:
Auto-Encoding Bayesian Inverse Games. CoRR abs/2402.08902 (2024) - [i201]Arash Amini, Yigit Ege Bayiz, Ashwin Ram, Radu Marculescu, Ufuk Topcu:
News Source Credibility Assessment: A Reddit Case Study. CoRR abs/2402.10938 (2024) - [i200]Jaehan Im, Yue Yu, David Fridovich-Keil, Ufuk Topcu:
Coordination in Noncooperative Multiplayer Matrix Games via Reduced Rank Correlated Equilibria. CoRR abs/2403.10384 (2024) - [i199]Yigit Ege Bayiz, Arash Amini, Radu Marculescu, Ufuk Topcu:
Susceptibility of Communities against Low-Credibility Content in Social News Websites. CoRR abs/2403.10705 (2024) - [i198]Vivek Pandey, Arash Amini, Guangyi Liu, Ufuk Topcu, Qiyu Sun, Kostas Daniilidis, Nader Motee:
Scalable Networked Feature Selection with Randomized Algorithm for Robot Navigation. CoRR abs/2403.12279 (2024) - [i197]Kevin S. Miller
, Adam J. Thorpe, Ufuk Topcu:
Active Learning of Dynamics Using Prior Domain Knowledge in the Sampling Process. CoRR abs/2403.17233 (2024) - [i196]Lisong C. Sun, Neel P. Bhatt, Jonathan C. Liu, Zhiwen Fan, Zhangyang Wang, Todd E. Humphreys, Ufuk Topcu:
MM3DGS SLAM: Multi-modal 3D Gaussian Splatting for SLAM Using Vision, Depth, and Inertial Measurements. CoRR abs/2404.00923 (2024) - [i195]Ege C. Kaya, Michael Hibbard, Takashi Tanaka, Ufuk Topcu, Abolfazl Hashemi:
Randomized Greedy Methods for Weak Submodular Sensor Selection with Robustness Considerations. CoRR abs/2404.03740 (2024) - [i194]Tyler Ingebrand, Adam J. Thorpe, Ufuk Topcu:
Zero-Shot Transfer of Neural ODEs. CoRR abs/2405.08954 (2024) - [i193]Shenghui Chen, Daniel Fried, Ufuk Topcu:
Human-Agent Cooperation in Games under Incomplete Information through Natural Language Communication. CoRR abs/2405.14173 (2024) - [i192]Kushagra Gupta, Xinjie Liu, Ufuk Topcu, David Fridovich-Keil:
Second-Order Algorithms for Finding Local Nash Equilibria in Zero-Sum Games. CoRR abs/2406.03565 (2024) - [i191]Suresh Venkatasubramanian, Timnit Gebru, Ufuk Topcu, Haley Griffin, Leah Namisa Rosenbloom, Nasim Sonboli:
Community Driven Approaches to Research in Technology & Society CCC Workshop Report. CoRR abs/2406.07556 (2024) - 2023
- [j75]Zhe Xu
, Federico M. Zegers
, Nasim Baharisangari
, Bo Wu
, Alexander J. Phillips, Warren E. Dixon
, Ufuk Topcu
:
Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications. IEEE Access 11: 91324-91335 (2023) - [j74]Franck Djeumou
, Christian Ellis, Murat Cubuktepe, Craig Lennon, Ufuk Topcu:
Task-guided IRL in POMDPs that scales. Artif. Intell. 317: 103856 (2023) - [j73]Runhan Sun, Suda Bharadwaj, Zhe Xu, Ufuk Topcu, Warren E. Dixon
:
Reactive synthesis for relay-explorer consensus with intermittent communication. Autom. 154: 111075 (2023) - [j72]Michael Hibbard, Takashi Tanaka, Ufuk Topcu:
Simultaneous perception-action design via invariant finite belief sets. Autom. 155: 111140 (2023) - [j71]Georgios Bakirtzis
, Steven Carr, David Danks, Ufuk Topcu:
Dynamic Certification for Autonomous Systems. Commun. ACM 66(9): 64-72 (2023) - [j70]Yue Yu
, Purnanand Elango
, Behçet Açikmese
, Ufuk Topcu
:
Extrapolated Proportional-Integral Projected Gradient Method for Conic Optimization. IEEE Control. Syst. Lett. 7: 73-78 (2023) - [j69]Yue Yu
, Jonathan Salfity, David Fridovich-Keil
, Ufuk Topcu
:
Inverse Matrix Games With Unique Quantal Response Equilibrium. IEEE Control. Syst. Lett. 7: 643-648 (2023) - [j68]Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis
, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu:
Formal Methods for Autonomous Systems. Found. Trends Syst. Control. 10(3-4): 180-407 (2023) - [j67]Yunhao Yang, Parham Gohari, Ufuk Topcu:
On the Privacy Risks of Deploying Recurrent Neural Networks in Machine Learning Models. Proc. Priv. Enhancing Technol. 2023(1): 68-84 (2023) - [j66]Bo Wu
, Murat Cubuktepe
, Franck Djeumou
, Zhe Xu
, Ufuk Topcu
:
Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching. IEEE Trans. Autom. Control. 68(1): 532-539 (2023) - [j65]Pranay Thangeda
, Melkior Ornik
, Ufuk Topcu
:
Expedited Online Learning With Spatial Side Information. IEEE Trans. Autom. Control. 68(3): 1479-1491 (2023) - [j64]Franck Djeumou
, Zhe Xu
, Murat Cubuktepe
, Ufuk Topcu
:
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. IEEE Trans. Autom. Control. 68(4): 2245-2260 (2023) - [j63]Abraham P. Vinod
, Arie Israel
, Ufuk Topcu
:
On-the-Fly Control of Unknown Nonlinear Systems With Sublinear Regret. IEEE Trans. Autom. Control. 68(5): 2729-2742 (2023) - [j62]Mustafa O. Karabag
, Melkior Ornik
, Ufuk Topcu
:
Exploiting Partial Observability for Optimal Deception. IEEE Trans. Autom. Control. 68(7): 4443-4450 (2023) - [j61]Frantisek Blahoudek
, Petr Novotný
, Melkior Ornik
, Pranay Thangeda
, Ufuk Topcu
:
Efficient Strategy Synthesis for MDPs With Resource Constraints. IEEE Trans. Autom. Control. 68(8): 4586-4601 (2023) - [j60]Franck Djeumou
, Abraham P. Vinod
, Eric Goubault
, Sylvie Putot
, Ufuk Topcu
:
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability. IEEE Trans. Autom. Control. 68(8): 4857-4872 (2023) - [j59]Yue Yu
, Mengyuan Wang
, Mehran Mesbahi
, Ufuk Topcu
:
Vertiport Selection in Hybrid Air-Ground Transportation Networks via Mathematical Programs With Equilibrium Constraints. IEEE Trans. Control. Netw. Syst. 10(4): 2108-2119 (2023) - [j58]Michael Hibbard
, Abraham P. Vinod
, Jesse Quattrociocchi
, Ufuk Topcu
:
Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality. IEEE Trans. Robotics 39(5): 3464-3478 (2023) - [c249]Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu:
Learning Interpretable Temporal Properties from Positive Examples Only. AAAI 2023: 6507-6515 - [c248]Mustafa O. Karabag, Ufuk Topcu:
On the Sample Complexity of Vanilla Model-Based Offline Reinforcement Learning with Dependent Samples. AAAI 2023: 8195-8202 - [c247]Steven Carr, Nils Jansen, Sebastian Junges
, Ufuk Topcu:
Safe Reinforcement Learning via Shielding under Partial Observability. AAAI 2023: 14748-14756 - [c246]Yue Yu, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu:
Poisoning Attacks Against Data-Driven Predictive Control. ACC 2023: 545-550 - [c245]Yue Yu, Shenghui Chen, David Fridovich-Keil, Ufuk Topcu:
Cost Design in Atomic Routing Games. ACC 2023: 1704-1709 - [c244]Po-han Li, Sandeep P. Chinchali, Ufuk Topcu:
Differentially Private Timeseries Forecasts for Networked Control. ACC 2023: 3595-3601 - [c243]Michael Hibbard, Abolfazl Hashemi, Takashi Tanaka, Ufuk Topcu:
Randomized Greedy Algorithms for Sensor Selection in Large-Scale Satellite Constellations. ACC 2023: 4276-4283 - [c242]Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu:
Memoryless Adversaries in Imperfect Information Games. AAMAS 2023: 2379-2381 - [c241]Cevahir Köprülü, Ufuk Topcu:
Reward-Machine-Guided, Self-Paced Reinforcement Learning. AAMAS 2023: 2451-2453 - [c240]Thom S. Badings
, Sebastian Junges
, Ahmadreza Marandi
, Ufuk Topcu
, Nils Jansen
:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CAV (3) 2023: 62-85 - [c239]Steven Carr, Tichakorn Wongpiromsarn, Ufuk Topcu:
Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems *. CCTA 2023: 1115-1121 - [c238]Apurva Patil, Mustafa O. Karabag, Takashi Tanaka, Ufuk Topcu:
Simulator-Driven Deceptive Control via Path Integral Approach. CDC 2023: 271-277 - [c237]Shenghui Chen, Yue Yu, David Fridovich-Keil, Ufuk Topcu:
Soft-Bellman Equilibrium in Affine Markov Games: Forward Solutions and Inverse Learning. CDC 2023: 2202-2207 - [c236]Brandon Fallin, Calvin Hawkins, Bo Chen, Parham Gohari, Alexander Benvenuti, Ufuk Topcu, Matthew T. Hale:
Differential Privacy for Stochastic Matrices Using the Matrix Dirichlet Mechanism. CDC 2023: 5067-5072 - [c235]Sophia Smith, Cyrus Neary, Ufuk Topcu:
Automatic Decomposition of Reward Machines for Decentralized Multiagent Reinforcement Learning. CDC 2023: 5423-5430 - [c234]Tyler Ingebrand, Sophia Smith, Ufuk Topcu:
Decentralized Conflict Resolution for Multi-Agent Reinforcement Learning Through Shared Scheduling Protocols. CDC 2023: 7170-7177 - [c233]Parham Gohari, Matthew T. Hale, Ufuk Topcu:
Privacy-Engineered Value Decomposition Networks for Cooperative Multi-Agent Reinforcement Learning. CDC 2023: 8038-8044 - [c232]Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu:
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CD-MAKE 2023: 123-140 - [c231]Franck Djeumou, Cyrus Neary, Ufuk Topcu:
How to Learn and Generalize From Three Minutes of Data: Physics-Constrained and Uncertainty-Aware Neural Stochastic Differential Equations. CoRL 2023: 577-601 - [c230]Jueming Hu, Jean-Raphaël Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu:
Reinforcement Learning with Reward Machines in Stochastic Games. ECAI 2023: 1068-1075 - [c229]Christos K. Verginis, Zhe Xu, Ufuk Topcu:
Non-Parametric Neuro-Adaptive Control. ECC 2023: 1-6 - [c228]Franck Djeumou, Jonathan Y. M. Goh, Ufuk Topcu, Avinash Balachandran:
Autonomous Drifting with 3 Minutes of Data via Learned Tire Models. ICRA 2023: 968-974 - [c227]Cyrus Neary, Ufuk Topcu:
Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks. L4DC 2023: 679-691 - [c226]Po-han Li, Sravan Kumar Ankireddy, Ruihan Philip Zhao, Hossein Nourkhiz Mahjoub, Ehsan Moradi-Pari, Ufuk Topcu, Sandeep Chinchali, Hyeji Kim:
Task-aware Distributed Source Coding under Dynamic Bandwidth. NeurIPS 2023 - [c225]Bo Chen, Calvin Hawkins, Mustafa O. Karabag, Cyrus Neary, Matthew T. Hale, Ufuk Topcu:
Differential Privacy in Cooperative Multiagent Planning. UAI 2023: 347-357 - [c224]Cevahir Köprülü, Ufuk Topcu:
Reward-machine-guided, self-paced reinforcement learning. UAI 2023: 1121-1131 - [c223]Cevahir Köprülü, Thiago D. Simão, Nils Jansen, Ufuk Topcu:
Risk-aware curriculum generation for heavy-tailed task distributions. UAI 2023: 1132-1142 - [d3]Thom S. Badings
, Sebastian Junges
, Ahmadreza Marandi
, Ufuk Topcu
, Nils Jansen
:
Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. Version 1. Zenodo, 2023 [all versions] - [d2]Thom S. Badings
, Sebastian Junges
, Ahmadreza Marandi
, Ufuk Topcu
, Nils Jansen
:
Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'. Version 1.1. Zenodo, 2023 [all versions] - [i190]Franck Djeumou, Christian Ellis, Murat Cubuktepe, Craig Lennon, Ufuk Topcu:
Task-Guided IRL in POMDPs that Scales. CoRR abs/2301.01219 (2023) - [i189]Adam J. Thorpe, Cyrus Neary, Franck Djeumou, Meeko M. K. Oishi
, Ufuk Topcu:
Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control. CoRR abs/2301.03565 (2023) - [i188]Bo Chen, Calvin Hawkins, Mustafa O. Karabag, Cyrus Neary, Matthew T. Hale, Ufuk Topcu:
Differential Privacy in Cooperative Multiagent Planning. CoRR abs/2301.08811 (2023) - [i187]Ruihan Zhao, Ufuk Topcu, Sandeep Chinchali, Mariano Phielipp:
Learning Sparse Control Tasks from Pixels by Latent Nearest-Neighbor-Guided Explorations. CoRR abs/2302.14242 (2023) - [i186]Mustafa O. Karabag, Ufuk Topcu:
On the Sample Complexity of Vanilla Model-Based Offline Reinforcement Learning with Dependent Samples. CoRR abs/2303.04268 (2023) - [i185]Shenghui Chen, Yue Yu, David Fridovich-Keil, Ufuk Topcu:
Soft-Bellman Equilibrium in Affine Markov Games: Forward Solutions and Inverse Learning. CoRR abs/2304.00163 (2023) - [i184]Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen
:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CoRR abs/2305.01473 (2023) - [i183]Qinshuang Wei, Yue Yu, Ufuk Topcu:
Dynamic Routing in Stochastic Urban Air Mobility Networks: A Markov Decision Process Approach. CoRR abs/2305.07110 (2023) - [i182]Po-han Li, Sravan Kumar Ankireddy, Ruihan Zhao, Hossein Nourkhiz Mahjoub, Ehsan Moradi-Pari, Ufuk Topcu, Sandeep Chinchali, Hyeji Kim:
Task-aware Distributed Source Coding under Dynamic Bandwidth. CoRR abs/2305.15523 (2023) - [i181]Cevahir Köprülü, Ufuk Topcu:
Reward-Machine-Guided, Self-Paced Reinforcement Learning. CoRR abs/2305.16505 (2023) - [i180]Jueming Hu, Jean-Raphaël Gaglione, Yanze Wang, Zhe Xu, Ufuk Topcu, Yongming Liu:
Reinforcement Learning With Reward Machines in Stochastic Games. CoRR abs/2305.17372 (2023) - [i179]Qinshuang Wei, Zhenyu Gao, John-Paul Clarke, Ufuk Topcu:
Risk-aware Urban Air Mobility Network Design with Overflow Redundancy. CoRR abs/2306.05581 (2023) - [i178]Franck Djeumou, Jonathan Y. M. Goh, Ufuk Topcu, Avinash Balachandran:
Autonomous Drifting with 3 Minutes of Data via Learned Tire Models. CoRR abs/2306.06330 (2023) - [i177]Franck Djeumou, Cyrus Neary, Ufuk Topcu:
How to Learn and Generalize From Three Minutes of Data: Physics-Constrained and Uncertainty-Aware Neural Stochastic Differential Equations. CoRR abs/2306.06335 (2023) - [i176]Yash Paliwal, Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Xiaoming Duan, Ufuk Topcu, Zhe Xu:
Reinforcement Learning with Temporal-Logic-Based Causal Diagrams. CoRR abs/2306.13732 (2023) - [i175]Yunhao Yang, Cyrus Neary, Ufuk Topcu:
Multimodal Pretrained Models for Sequential Decision-Making: Synthesis, Verification, Grounding, and Perception. CoRR abs/2308.05295 (2023) - [i174]Yue Yu, Jacob Levy, Negar Mehr, David Fridovich-Keil, Ufuk Topcu:
Active Inverse Learning in Stackelberg Trajectory Games. CoRR abs/2308.08017 (2023) - [i173]Apurva Patil, Mustafa O. Karabag, Takashi Tanaka, Ufuk Topcu:
Simulator-Driven Deceptive Control via Path Integral Approach. CoRR abs/2308.14092 (2023) - [i172]Cyrus Neary, Aryaman Singh Samyal, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu:
Verifiable Reinforcement Learning Systems via Compositionality. CoRR abs/2309.06420 (2023) - [i171]Yunhao Yang, Jean-Raphaël Gaglione, Sandeep Chinchali, Ufuk Topcu:
Specification-Driven Video Search via Foundation Models and Formal Verification. CoRR abs/2309.10171 (2023) - [i170]Mustafa O. Karabag, Sophia Smith, David Fridovich-Keil, Ufuk Topcu:
Encouraging Inferable Behavior for Autonomy: Repeated Bimatrix Stackelberg Games with Observations. CoRR abs/2310.00468 (2023) - [i169]Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Zhangyang Wang, Ufuk Topcu:
Fine-Tuning Language Models Using Formal Methods Feedback. CoRR abs/2310.18239 (2023) - [i168]Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu:
Formal Methods for Autonomous Systems. CoRR abs/2311.01258 (2023) - [i167]Parham Gohari, Matthew T. Hale, Ufuk Topcu:
Privacy-Engineered Value Decomposition Networks for Cooperative Multi-Agent Reinforcement Learning. CoRR abs/2311.06255 (2023) - [i166]David Jensen, Brian LaMacchia, Ufuk Topcu, Pamela J. Wisniewski:
Algorithmic Robustness. CoRR abs/2311.06275 (2023) - [i165]Yigit Ege Bayiz, Ufuk Topcu:
Prebunking Design as a Defense Mechanism Against Misinformation Propagation on Social Networks. CoRR abs/2311.14200 (2023) - [i164]Cyrus Neary, Christian Ellis, Aryaman Singh Samyal, Craig Lennon, Ufuk Topcu:
A Multifidelity Sim-to-Real Pipeline for Verifiable and Compositional Reinforcement Learning. CoRR abs/2312.01249 (2023) - [i163]Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu:
On the complexity of sabotage games for network security. CoRR abs/2312.13132 (2023) - 2022
- [j57]Yue Yu
, Purnanand Elango, Ufuk Topcu, Behçet Açikmese:
Proportional-integral projected gradient method for conic optimization. Autom. 142: 110359 (2022) - [j56]Ye Zhao
, Yinan Li, Luis Sentis
, Ufuk Topcu, Jun Liu:
Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environments. Int. J. Robotics Res. 41(8): 812-847 (2022) - [j55]Jean-Raphaël Gaglione
, Daniel Neider
, Rajarshi Roy
, Ufuk Topcu, Zhe Xu
:
MaxSAT-based temporal logic inference from noisy data. Innov. Syst. Softw. Eng. 18(3): 427-442 (2022) - [j54]Suda Bharadwaj
, Rayna Dimitrova, Jesse Quattrociocchi, Ufuk Topcu:
Synthesis of strategies for autonomous surveillance on adversarial targets. Robotics Auton. Syst. 153: 104084 (2022) - [j53]Abraham P. Vinod
, Arie Israel, Ufuk Topcu:
Constrained, Global Optimization of Unknown Functions with Lipschitz Continuous Gradients. SIAM J. Optim. 32(2): 1239-1264 (2022) - [j52]Yagiz Savas, Erfaun Noorani, Alec Koppel, John S. Baras, Ufuk Topcu, Brian M. Sadler:
Collaborative one-shot beamforming under localization errors: A discrete optimization approach. Signal Process. 200: 108647 (2022) - [j51]Thom S. Badings, Murat Cubuktepe, Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-based verification of uncertain parametric MDPs. Int. J. Softw. Tools Technol. Transf. 24(5): 803-819 (2022) - [j50]Mustafa O. Karabag
, Melkior Ornik
, Ufuk Topcu
:
Deception in Supervisory Control. IEEE Trans. Autom. Control. 67(2): 738-753 (2022) - [j49]Bo Wu
, Steven Carr
, Suda Bharadwaj
, Zhe Xu
, Ufuk Topcu
:
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. IEEE Trans. Autom. Control. 67(7): 3243-3258 (2022) - [j48]Min Wen
, Ufuk Topcu
:
Probably Approximately Correct Learning in Adversarial Environments With Temporal Logic Specifications. IEEE Trans. Autom. Control. 67(10): 5055-5070 (2022) - [j47]Yagiz Savas
, Vijay Gupta
, Ufuk Topcu
:
On the Complexity of Sequential Incentive Design. IEEE Trans. Autom. Control. 67(11): 5809-5824 (2022) - [j46]Murat Cubuktepe
, Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen
, Ufuk Topcu
:
Convex Optimization for Parameter Synthesis in MDPs. IEEE Trans. Autom. Control. 67(12): 6333-6348 (2022) - [j45]Yagiz Savas
, Michael Hibbard
, Bo Wu
, Takashi Tanaka
, Ufuk Topcu
:
Entropy Maximization for Partially Observable Markov Decision Processes. IEEE Trans. Autom. Control. 67(12): 6948-6955 (2022) - [j44]Murat Cubuktepe
, Frantisek Blahoudek
, Ufuk Topcu
:
Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning. IEEE Trans. Control. Netw. Syst. 9(3): 1327-1338 (2022) - [c222]Yagiz Savas, Christos K. Verginis, Ufuk Topcu:
Deceptive Decision-Making under Uncertainty. AAAI 2022: 5332-5340 - [c221]Franck Djeumou, Murat Cubuktepe, Craig Lennon, Ufuk Topcu:
Task-Guided Inverse Reinforcement Learning under Partial Information. ICAPS 2022: 53-61 - [c220]Cyrus Neary, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu:
Verifiable and Compositional Reinforcement Learning Systems. ICAPS 2022: 615-623 - [c219]Anish Acharya, Abolfazl Hashemi, Prateek Jain, Sujay Sanghavi, Inderjit S. Dhillon, Ufuk Topcu:
Robust Training in High Dimensions via Block Coordinate Geometric Median Descent. AISTATS 2022: 11145-11168 - [c218]Yigit E. Bayiz
, Ufuk Topcu:
Decentralized Online Influence Maximization. Allerton 2022: 1-8 - [c217]Mustafa O. Karabag, David Fridovich-Keil, Ufuk Topcu:
Alternating Direction Method of Multipliers for Decomposable Saddle-Point Problems. Allerton 2022: 1-8 - [c216]Po-han Li, Ufuk Topcu, Sandeep P. Chinchali:
Adversarial Examples for Model-Based Control: A Sensitivity Analysis. Allerton 2022: 1-7 - [c215]Parham Gohari, Franck Djeumou, Abraham P. Vinod, Ufuk Topcu:
Blending Controllers via Multi-Objective Bandits. ACC 2022: 88-95 - [c214]Michael Hibbard, Ufuk Topcu, Kerianne Hobbs:
Guaranteeing Safety via Active-Set Invariance Filters for Multi-Agent Space Systems with Coupled Dynamics*. ACC 2022: 430-436 - [c213]Mustafa O. Karabag, Cyrus Neary, Ufuk Topcu:
Planning Not to Talk: Multiagent Systems that are Robust to Communication Loss. AAMAS 2022: 705-713 - [c212]Christos K. Verginis, Zhe Xu, Ufuk Topcu:
Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems. AAMAS 2022: 1747-1749 - [c211]Georgios Bakirtzis, Ufuk Topcu:
AlgebraicSystems: Compositional Verification for Autonomous System Design. ICCPS 2022: 308-309 - [c210]Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu:
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. IJCAI 2022: 2923-2929 - [c209]Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu:
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. L4DC 2022: 263-277 - [c208]Franck Djeumou, Ufuk Topcu:
Learning to Reach, Swim, Walk and Fly in One Trial: Data-Driven Control with Scarce Data and Side Information. L4DC 2022: 453-466 - [c207]Chenyu You, Ruihan Zhao, Fenglin Liu, Siyuan Dong, Sandeep Chinchali, Ufuk Topcu, Lawrence H. Staib, James S. Duncan:
Class-Aware Adversarial Transformers for Medical Image Segmentation. NeurIPS 2022 - [c206]Rudrajit Das, Anish Acharya, Abolfazl Hashemi, Sujay Sanghavi, Inderjit S. Dhillon, Ufuk Topcu:
Faster non-convex federated learning via global and local momentum. UAI 2022: 496-506 - [d1]Thom S. Badings
, Murat Cubuktepe
, Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen
, Ufuk Topcu
:
Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'. Zenodo, 2022 - [i162]Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu:
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. CoRR abs/2201.05715 (2022) - [i161]Mustafa O. Karabag, Cyrus Neary, Ufuk Topcu:
Planning Not to Talk: Multiagent Systems that are Robust to Communication Loss. CoRR abs/2201.06619 (2022) - [i160]Chenyu You, Ruihan Zhao, Fenglin Liu, Sandeep Chinchali, Ufuk Topcu, Lawrence H. Staib, James S. Duncan:
Class-Aware Generative Adversarial Transformers for Medical Image Segmentation. CoRR abs/2201.10737 (2022) - [i159]Niklas T. Lauffer, Mahsa Ghasemi, Abolfazl Hashemi, Yagiz Savas, Ufuk Topcu:
No-Regret Learning in Dynamic Stackelberg Games. CoRR abs/2202.04786 (2022) - [i158]Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu:
Hierarchical Control for Multi-Agent Autonomous Racing. CoRR abs/2202.12861 (2022) - [i157]Michael Hibbard, Abraham P. Vinod, Jesse Quattrociocchi, Ufuk Topcu:
Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality. CoRR abs/2203.02816 (2022) - [i156]Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu:
Dynamic Certification for Autonomous Systems. CoRR abs/2203.10950 (2022) - [i155]Georgios Bakirtzis, Ufuk Topcu:
AlgebraicSystems: Compositional Verification for Autonomous System Design. CoRR abs/2203.16343 (2022) - [i154]Steven Carr, Nils Jansen
, Sebastian Junges, Ufuk Topcu:
Safe Reinforcement Learning via Shielding for POMDPs. CoRR abs/2204.00755 (2022) - [i153]Christos K. Verginis, Cevahir Köprülü, Sandeep Chinchali, Ufuk Topcu:
Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics. CoRR abs/2204.11833 (2022) - [i152]Rishabh Saumil Thakkar, Aryaman Singh Samyal
, David Fridovich-Keil, Zhe Xu, Ufuk Topcu:
Hierarchical Control for Cooperative Teams in Competitive Autonomous Racing. CoRR abs/2204.13070 (2022) - [i151]Yunhao Yang, Parham Gohari, Ufuk Topcu:
Additive Logistic Mechanism for Privacy-Preserving Self-Supervised Learning. CoRR abs/2205.12430 (2022) - [i150]Yagiz Savas, Mustafa O. Karabag, Brian M. Sadler, Ufuk Topcu:
Deceptive Planning for Resource Allocation. CoRR abs/2206.01306 (2022) - [i149]Abraham P. Vinod, Arie Israel, Ufuk Topcu:
On-the-fly control of unknown nonlinear systems with sublinear regret. CoRR abs/2206.11103 (2022) - [i148]Shenghui Chen, Yigit E. Bayiz
, David Fridovich-Keil, Yue Yu, Ufuk Topcu:
Relationship Design for Socially Desirable Behavior in Static Games. CoRR abs/2207.06392 (2022) - [i147]Po-han Li, Ufuk Topcu, Sandeep P. Chinchali:
Adversarial Examples for Model-Based Control: A Sensitivity Analysis. CoRR abs/2207.06982 (2022) - [i146]Yue Yu, Jonathan Salfity, David Fridovich-Keil, Ufuk Topcu:
Inverse Matrix Games with Unique Nash Equilibrium. CoRR abs/2207.08275 (2022) - [i145]Christos K. Verginis, Zhe Xu, Ufuk Topcu:
Non-Parametric Neuro-Adaptive Formation Control. CoRR abs/2207.08288 (2022) - [i144]Yue Yu, Kartik Nagpal, Margaret Skye Mceowen, Behçet Açikmese, Ufuk Topcu:
Real-Time Quadrotor Trajectory Optimization with Time-Triggered Corridor Constraints. CoRR abs/2208.07259 (2022) - [i143]Georgios Bakirtzis, Michail Savvas, Ufuk Topcu:
Categorical semantics of compositional reinforcement learning. CoRR abs/2208.13687 (2022) - [i142]Rajarshi Roy, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider
, Zhe Xu, Ufuk Topcu:
Learning Interpretable Temporal Properties from Positive Examples Only. CoRR abs/2209.02650 (2022) - [i141]Mustafa O. Karabag, David Fridovich-Keil, Ufuk Topcu:
Alternating Direction Method of Multipliers for Decomposable Saddle-Point Problems. CoRR abs/2209.04536 (2022) - [i140]Yue Yu
, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu:
Poisoning Attacks Against Data-Driven Predictive Control. CoRR abs/2209.09108 (2022) - [i139]Po-han Li, Sandeep P. Chinchali, Ufuk Topcu:
Differentially Private Timeseries Forecasts for Networked Control. CoRR abs/2210.00358 (2022) - [i138]Yue Yu
, Shenghui Chen, David Fridovich-Keil, Ufuk Topcu:
Cost Design in Atomic Routing Games. CoRR abs/2210.01221 (2022) - [i137]Yigit E. Bayiz
, Ufuk Topcu:
Countering Misinformation on Social Networks Using Graph Alterations. CoRR abs/2211.04617 (2022) - [i136]Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu:
Sensor Placement for Online Fault Diagnosis. CoRR abs/2211.11741 (2022) - [i135]Cyrus Neary, Ufuk Topcu:
Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks. CoRR abs/2212.00893 (2022) - [i134]Jean-Raphaël Gaglione, Rajarshi Roy, Nasim Baharisangari, Daniel Neider
, Zhe Xu, Ufuk Topcu:
Learning Temporal Logic Properties: an Overview of Two Recent Methods. CoRR abs/2212.00916 (2022) - [i133]Yunhao Yang, Jean-Raphaël Gaglione, Ufuk Topcu:
Learning Automata-Based Task Knowledge Representation from Large-Scale Generative Language Models. CoRR abs/2212.01944 (2022) - 2021
- [j43]Hasan A. Poonawala, Niklas T. Lauffer, Ufuk Topcu
:
Training classifiers for feedback control with safety in mind. Autom. 128: 109509 (2021) - [j42]Steven Carr, Nils Jansen
, Ufuk Topcu:
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes. J. Artif. Intell. Res. 72: 819-847 (2021) - [j41]Melkior Ornik, Ufuk Topcu:
Learning and Planning for Time-Varying MDPs Using Maximum Likelihood Estimation. J. Mach. Learn. Res. 22: 35:1-35:40 (2021) - [j40]Abolfazl Hashemi
, Mahsa Ghasemi
, Haris Vikalo
, Ufuk Topcu
:
Randomized Greedy Sensor Selection: Leveraging Weak Submodularity. IEEE Trans. Autom. Control. 66(1): 199-212 (2021) - [j39]Leonore Winterer
, Sebastian Junges
, Ralf Wimmer
, Nils Jansen
, Ufuk Topcu
, Joost-Pieter Katoen
, Bernd Becker
:
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions. IEEE Trans. Autom. Control. 66(3): 1040-1054 (2021) - [j38]Min Wen
, Ufuk Topcu
:
Constrained Cross-Entropy Method for Safe Reinforcement Learning. IEEE Trans. Autom. Control. 66(7): 3123-3137 (2021) - [j37]Murat Cubuktepe
, Nils Jansen
, Mohammed Alshiekh, Ufuk Topcu
:
Synthesis of Provably Correct Autonomy Protocols for Shared Control. IEEE Trans. Autom. Control. 66(7): 3251-3258 (2021) - [j36]Mohamadreza Ahmadi
, Nils Jansen
, Bo Wu
, Ufuk Topcu
:
Control Theory Meets POMDPs: A Hybrid Systems Approach. IEEE Trans. Autom. Control. 66(11): 5191-5204 (2021) - [j35]Suda Bharadwaj
, Steven Carr
, Natasha A. Neogi, Ufuk Topcu
:
Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility. IEEE Trans. Control. Netw. Syst. 8(2): 598-608 (2021) - [j34]Dhananjay Raju
, Sudarshanan Bharadwaj
, Franck Djeumou
, Ufuk Topcu
:
Online Synthesis for Runtime Enforcement of Safety in Multiagent Systems. IEEE Trans. Control. Netw. Syst. 8(2): 621-632 (2021) - [j33]Murat Cubuktepe
, Zhe Xu
, Ufuk Topcu
:
Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications. IEEE Trans. Control. Netw. Syst. 8(4): 1799-1810 (2021) - [j32]Parham Gohari
, Bo Wu, Calvin Hawkins, Matthew T. Hale
, Ufuk Topcu
:
Differential Privacy on the Unit Simplex via the Dirichlet Mechanism. IEEE Trans. Inf. Forensics Secur. 16: 2326-2340 (2021) - [c205]Mustafa O. Karabag, Cyrus Neary, Ufuk Topcu:
Smooth Convex Optimization Using Sub-Zeroth-Order Oracles. AAAI 2021: 3815-3822 - [c204]Zhe Xu, Yuxin Chen, Ufuk Topcu:
Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners. AAAI 2021: 5061-5068 - [c203]Yuqian Jiang, Suda Bharadwaj, Bo Wu, Rishi Shah, Ufuk Topcu, Peter Stone:
Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks. AAAI 2021: 7995-8003 - [c202]Daniel Neider
, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu:
Advice-Guided Reinforcement Learning in a non-Markovian Environment. AAAI 2021: 9073-9080 - [c201]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu:
Robust Finite-State Controllers for Uncertain POMDPs. AAAI 2021: 11792-11800 - [c200]Erfaun Noorani, Yagiz Savas, Alec Koppel, John S. Baras, Ufuk Topcu, Brian M. Sadler:
Collaborative Beamforming for Agents with Localization Errors. ACSCC 2021: 204-208 - [c199]Mahsa Ghasemi, Evan Scope Crafts, Bo Zhao, Ufuk Topcu:
Multiple Plans are Better than One: Diverse Stochastic Planning. ICAPS 2021: 140-148 - [c198]Min Wen, Osbert Bastani, Ufuk Topcu:
Algorithms for Fairness in Sequential Decision Making. AISTATS 2021: 1144-1152 - [c197]Mahsa Ghasemi, Abolfazl Hashemi, Haris Vikalo
, Ufuk Topcu:
Online Learning with Implicit Exploration in Episodic Markov Decision Processes. ACC 2021: 1953-1958 - [c196]Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu:
On-The-Fly Control of Unknown Smooth Systems from Limited Data. ACC 2021: 3656-3663 - [c195]Tichakorn Wongpiromsarn, Konstantin Slutsky
, Emilio Frazzoli, Ufuk Topcu:
Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations. ACC 2021: 4866-4872 - [c194]Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers
, Ufuk Topcu, Lu Feng:
Safe Multi-Agent Reinforcement Learning via Shielding. AAMAS 2021: 483-491 - [c193]Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu:
Reward Machines for Cooperative Multi-Agent Reinforcement Learning. AAMAS 2021: 934-942 - [c192]Jean-Raphaël Gaglione, Daniel Neider
, Rajarshi Roy, Ufuk Topcu, Zhe Xu:
Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. ATVA 2021: 74-90 - [c191]Christos K. Verginis, Franck Djeumou, Ufuk Topcu:
Learning-Based, Safety-Constrained Control from Scarce Data via Reciprocal Barriers. CDC 2021: 83-89 - [c190]Filippos Fotiadis, Christos K. Verginis, Kyriakos G. Vamvoudakis
, Ufuk Topcu:
Assured Learning-Based Optimal Control subject to Timed Temporal Logic Constraints. CDC 2021: 750-756 - [c189]Aris Kanellopoulos, Filippos Fotiadis, Chuangchuang Sun, Zhe Xu, Kyriakos G. Vamvoudakis
, Ufuk Topcu, Warren E. Dixon
:
Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking. CDC 2021: 1263-1268 - [c188]Binghan He, Mahsa Ghasemi, Ufuk Topcu, Luis Sentis:
A Barrier Pair Method for Safe Human-Robot Shared Autonomy. CDC 2021: 2854-2861 - [c187]Yue Yu
, Shahriar Talebi, Henk J. van Waarde, Ufuk Topcu, Mehran Mesbahi, Behçet Açikmese:
On Controllability and Persistency of Excitation in Data-Driven Control: Extensions of Willems' Fundamental Lemma. CDC 2021: 6485-6490 - [c186]Zhe Xu, Bo Wu, Aditya Ojha, Daniel Neider
, Ufuk Topcu:
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. CD-MAKE 2021: 115-135 - [c185]Frantisek Blahoudek, Murat Cubuktepe, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu:
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. FM 2021: 640-656 - [c184]Franck Djeumou, Aditya Zutshi, Ufuk Topcu:
On-the-fly, data-driven reachability analysis and control of unknown systems: an F-16 aircraft case study. HSCC 2021: 35:1-35:2 - [c183]Yagiz Savas, Abolfazl Hashemi, Abraham P. Vinod, Brian M. Sadler, Ufuk Topcu:
Physical-Layer Security via Distributed Beamforming in the Presence of Adversaries with Unknown Locations. ICASSP 2021: 4685-4689 - [c182]Zizhao Wang, Xuesu Xiao, Alexander J. Nettekoven, Kadhiravan Umasankar, Anika Singh, Sriram Bommakanti, Ufuk Topcu, Peter Stone:
From Agile Ground to Aerial Navigation: Learning from Learned Hallucination. IROS 2021: 148-153 - [c181]Farzan Memarian, Wonjoon Goo, Rudolf Lioutikov, Scott Niekum, Ufuk Topcu:
Self-Supervised Online Reward Shaping in Sparse-Reward Environments. IROS 2021: 2369-2375 - [c180]Steven Carr, Jesse Quattrociocchi, Suda Bharadwaj, Steven J. Spencer, Anup Parikh, Carol C. Young, Stephen P. Buerger, Bo Wu, Ufuk Topcu:
Decentralized Classification with Assume-Guarantee Planning. IROS 2021: 9826-9832 - [c179]Suda Bharadwaj, Tichakorn Wongpiromsarn, Natasha A. Neogi, Joseph Muffoletto, Ufuk Topcu:
Minimum-Violation Traffic Management for Urban Air Mobility. NFM 2021: 37-52 - [c178]Steven Carr, Nils Jansen
, Sudarshanan Bharadwaj, Matthijs T. J. Spaan, Ufuk Topcu:
Safe Policies for Factored Partially Observable Stochastic Games. Robotics: Science and Systems 2021 - [c177]Mahsa Ghasemi, Abolfazl Hashemi, Haris Vikalo, Ufuk Topcu:
No-regret learning with high-probability in adversarial Markov decision processes. UAI 2021: 992-1001 - [c176]Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider
, Ufuk Topcu, Zhe Xu:
Uncertainty-Aware Signal Temporal Logic Inference. VSTTE 2021: 61-85 - [c175]Dhananjay Raju, Rüdiger Ehlers
, Ufuk Topcu:
Adapting to the Behavior of Environments with Bounded Memory. GandALF 2021: 52-66 - [i132]Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng:
Safe Multi-Agent Reinforcement Learning via Shielding. CoRR abs/2101.11196 (2021) - [i131]Yue Yu, Shahriar Talebi, Henk J. van Waarde, Ufuk Topcu, Mehran Mesbahi, Behçet Açikmese:
On Controllability and Persistency of Excitation in Data-Driven Control: Extensions of Willems' Fundamental Lemma. CoRR abs/2102.02953 (2021) - [i130]Parham Gohari, Bo Chen, Bo Wu, Matthew T. Hale, Ufuk Topcu:
Privacy-Preserving Teacher-Student Deep Reinforcement Learning. CoRR abs/2102.09599 (2021) - [i129]Alexander J. Nettekoven, Ufuk Topcu:
A 3D Printing Hexacopter: Design and Demonstration. CoRR abs/2103.02063 (2021) - [i128]Abolfazl Hashemi, Hayden Schaeffer, Robert Shi, Ufuk Topcu, Giang Tran, Rachel A. Ward:
Function Approximation via Sparse Random Features. CoRR abs/2103.03191 (2021) - [i127]Farzan Memarian, Wonjoon Goo, Rudolf Lioutikov, Ufuk Topcu, Scott Niekum:
Self-Supervised Online Reward Shaping in Sparse-Reward Environments. CoRR abs/2103.04529 (2021) - [i126]Aris Kanellopoulos, Filippos Fotiadis, Chuangchuang Sun, Zhe Xu, Kyriakos G. Vamvoudakis, Ufuk Topcu, Warren E. Dixon:
Temporal-Logic-Based Intermittent, Optimal, and Safe Continuous-Time Learning for Trajectory Tracking. CoRR abs/2104.02547 (2021) - [i125]Zhe Xu, Federico M. Zegers, Bo Wu, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu:
Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications. CoRR abs/2104.08329 (2021) - [i124]Jean-Raphaël Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu:
Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach. CoRR abs/2104.15083 (2021) - [i123]Murat Cubuktepe, Frantisek Blahoudek, Ufuk Topcu:
Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning. CoRR abs/2105.01225 (2021) - [i122]Frantisek Blahoudek, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu:
Efficient Strategy Synthesis for MDPs with Resource Constraints. CoRR abs/2105.02099 (2021) - [i121]Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu:
Identity Concealment Games: How I Learned to Stop Revealing and Love the Coincidences. CoRR abs/2105.05377 (2021) - [i120]Christos K. Verginis, Franck Djeumou, Ufuk Topcu:
Safety-Constrained Learning and Control using Scarce Data and Reciprocal Barriers. CoRR abs/2105.06526 (2021) - [i119]Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu:
Uncertainty-Aware Signal Temporal logic. CoRR abs/2105.11545 (2021) - [i118]Franck Djeumou, Murat Cubuktepe, Craig Lennon, Ufuk Topcu:
Task-Guided Inverse Reinforcement Learning Under Partial Information. CoRR abs/2105.14073 (2021) - [i117]Cyrus Neary, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu:
Verifiable and Compositional Reinforcement Learning Systems. CoRR abs/2106.05864 (2021) - [i116]Anish Acharya, Abolfazl Hashemi, Prateek Jain, Sujay Sanghavi, Inderjit S. Dhillon, Ufuk Topcu:
Robust Training in High Dimensions via Block Coordinate Geometric Median Descent. CoRR abs/2106.08882 (2021) - [i115]Franck Djeumou, Ufuk Topcu:
Learning to Reach, Swim, Walk and Fly in One Trial: Data-Driven Control with Scarce Data and Side Information. CoRR abs/2106.10533 (2021) - [i114]Christos K. Verginis, Zhe Xu, Ufuk Topcu:
Non-Parametric Neuro-Adaptive Control Subject to Task Specifications. CoRR abs/2106.13498 (2021) - [i113]Xiaoming Duan, Zhe Xu, Rui Yan, Ufuk Topcu:
Privacy-Utility Trade-Offs Against Limited Adversaries. CoRR abs/2106.14643 (2021) - [i112]Franck Djeumou, Zhe Xu, Murat Cubuktepe, Ufuk Topcu:
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. CoRR abs/2106.15729 (2021) - [i111]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Convex Optimization for Parameter Synthesis in MDPs. CoRR abs/2107.00108 (2021) - [i110]Farzan Memarian, Abolfazl Hashemi, Scott Niekum, Ufuk Topcu:
Robust Generative Adversarial Imitation Learning via Local Lipschitzness. CoRR abs/2107.00116 (2021) - [i109]Zizhao Wang, Xuesu Xiao, Alexander J. Nettekoven, Kadhiravan Umasankar, Anika Singh, Sriram Bommakanti, Ufuk Topcu, Peter Stone:
From Agile Ground to Aerial Navigation: Learning from Learned Hallucination. CoRR abs/2108.09793 (2021) - [i108]Yue Yu, Purnanand Elango
, Ufuk Topcu, Behçet Açikmese:
Proportional-Integral Projected Gradient Method for Conic Optimization. CoRR abs/2108.10260 (2021) - [i107]Yue Yu, Ufuk Topcu:
Proportional-Integral Projected Gradient Method for Infeasibility Detection in Conic Optimization. CoRR abs/2109.02756 (2021) - [i106]Michael Hibbard, Takashi Tanaka, Ufuk Topcu:
Simultaneous Perception-Action Design via Invariant Finite Belief Sets. CoRR abs/2109.05073 (2021) - [i105]Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu:
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. CoRR abs/2109.06407 (2021) - [i104]Yagiz Savas, Christos K. Verginis, Ufuk Topcu:
Deceptive Decision-Making Under Uncertainty. CoRR abs/2109.06740 (2021) - [i103]Yunhao Yang, Parham Gohari, Ufuk Topcu:
On The Vulnerability of Recurrent Neural Networks to Membership Inference Attacks. CoRR abs/2110.03054 (2021) - [i102]Christos K. Verginis, Zhe Xu, Ufuk Topcu:
Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems. CoRR abs/2110.05125 (2021) - [i101]Binghan He, Mahsa Ghasemi, Ufuk Topcu, Luis Sentis:
A Barrier Pair Method for Safe Human-Robot Shared Autonomy. CoRR abs/2112.00279 (2021) - [i100]Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain Parametric MDPs. CoRR abs/2112.13020 (2021) - 2020
- [j31]Rayna Dimitrova, Mahsa Ghasemi
, Ufuk Topcu
:
Reactive synthesis with maximum realizability of linear temporal logic specifications. Acta Informatica 57(1-2): 107-135 (2020) - [j30]Yagiz Savas
, Melkior Ornik
, Murat Cubuktepe
, Mustafa O. Karabag
, Ufuk Topcu
:
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints. IEEE Trans. Autom. Control. 65(4): 1552-1567 (2020) - [j29]Melkior Ornik
, Steven Carr
, Arie Israel
, Ufuk Topcu
:
Control-Oriented Learning on the Fly. IEEE Trans. Autom. Control. 65(11): 4800-4807 (2020) - [j28]Mohamadreza Ahmadi
, Arie Israel
, Ufuk Topcu
:
Safe Controller Synthesis for Data-Driven Differential Inclusions. IEEE Trans. Autom. Control. 65(11): 4934-4940 (2020) - [c174]Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu:
Joint Inference of Reward Machines and Policies for Reinforcement Learning. ICAPS 2020: 590-598 - [c173]Mahsa Ghasemi, Abolfazl Hashemi, Haris Vikalo
, Ufuk Topcu
:
Identifying Sparse Low-Dimensional Structures in Markov Chains: A Nonnegative Matrix Factorization Approach. ACC 2020: 1093-1098 - [c172]Parham Gohari, Bo Wu, Matthew T. Hale, Ufuk Topcu
:
The Dirichlet Mechanism for Differential Privacy on the Unit Simplex. ACC 2020: 1253-1258 - [c171]Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
:
Resilient Distributed Hypothesis Testing with Time-Varying Network Topology. ACC 2020: 1483-1488 - [c170]Abraham P. Vinod, Arie Israel, Ufuk Topcu
:
Convexified contextual optimization for on-the-fly control of smooth systems. ACC 2020: 2004-2011 - [c169]Zhe Xu, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu
:
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. ACC 2020: 4745-4750 - [c168]Murat Cubuktepe, Zhe Xu, Ufuk Topcu:
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. AAMAS 2020: 267-275 - [c167]Frantisek Blahoudek
, Tomás Brázdil, Petr Novotný
, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
:
Qualitative Controller Synthesis for Consumption Markov Decision Processes. CAV (2) 2020: 421-447 - [c166]Binghan He, Jaemin Lee, Ufuk Topcu
, Luis Sentis:
BP-RRT: Barrier Pair Synthesis for Temporal Logic Motion Planning. CDC 2020: 1404-1409 - [c165]Murat Cubuktepe, Takashi Tanaka, Ufuk Topcu
:
Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization. CDC 2020: 1750-1757 - [c164]Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu
:
Active Task-Inference-Guided Deep Inverse Reinforcement Learning. CDC 2020: 1932-1938 - [c163]Parham Gohari, Matthew T. Hale, Ufuk Topcu
:
Privacy-Preserving Policy Synthesis in Markov Decision Processes. CDC 2020: 6266-6271 - [c162]Dhananjay Raju, Niklas T. Lauffer, Ufuk Topcu
:
Reachability Games for Optimal Multi-agent Scheduling of Tasks with Variable Durations. COCOA 2020: 151-167 - [c161]Mahsa Ghasemi, Erdem Bulgur, Ufuk Topcu:
Task-Oriented Active Perception and Planning in Environments with Partially Known Semantics. ICML 2020: 3484-3493 - [c160]Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu
:
Near-Optimal Reactive Synthesis Incorporating Runtime Information. ICRA 2020: 10342-10348 - [c159]Marnix Suilen, Nils Jansen
, Murat Cubuktepe, Ufuk Topcu:
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. IJCAI 2020: 4113-4120 - [c158]Steven Carr, Nils Jansen
, Ufuk Topcu:
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. IJCAI 2020: 4121-4127 - [c157]Franck Djeumou, Zhe Xu, Ufuk Topcu:
Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications. Robotics: Science and Systems 2020 - [c156]Murat Cubuktepe
, Nils Jansen
, Sebastian Junges
, Joost-Pieter Katoen
, Ufuk Topcu
:
Scenario-Based Verification of Uncertain MDPs. TACAS (1) 2020: 287-305 - [i99]Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu
, Ufuk Topcu:
Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching. CoRR abs/2001.00835 (2020) - [i98]Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. CoRR abs/2001.08174 (2020) - [i97]Murat Cubuktepe, Zhe Xu, Ufuk Topcu:
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. CoRR abs/2001.09066 (2020) - [i96]Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu:
Active Task-Inference-Guided Deep Inverse Reinforcement Learning. CoRR abs/2001.09227 (2020) - [i95]Zhe Xu
, Yuxin Chen, Ufuk Topcu:
Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences. CoRR abs/2001.09956 (2020) - [i94]Steven Carr, Nils Jansen, Ufuk Topcu:
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. CoRR abs/2002.05615 (2020) - [i93]Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu:
Playing Against Opponents With Limited Memory. CoRR abs/2002.07274 (2020) - [i92]Erfaun Noorani, Yagiz Savas, Alec Koppel, John S. Baras, Ufuk Topcu, Brian M. Sadler:
Distributed Beamforming for Agents with Localization Errors. CoRR abs/2003.12637 (2020) - [i91]Murat Cubuktepe, Takashi Tanaka, Ufuk Topcu:
Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization. CoRR abs/2004.02356 (2020) - [i90]Parham Gohari, Matthew T. Hale, Ufuk Topcu:
Privacy-Preserving Policy Synthesis in Markov Decision Processes. CoRR abs/2004.07778 (2020) - [i89]Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu:
Qualitative Controller Synthesis for Consumption Markov Decision Processes. CoRR abs/2005.07227 (2020) - [i88]Murat Cubuktepe, Zhe Xu
, Ufuk Topcu:
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications. CoRR abs/2006.14947 (2020) - [i87]Zhe Xu
, Bo Wu, Daniel Neider, Ufuk Topcu:
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. CoRR abs/2006.15714 (2020) - [i86]Yuqian Jiang, Sudarshanan Bharadwaj, Bo Wu, Rishi Shah, Ufuk Topcu, Peter Stone:
Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks. CoRR abs/2007.01498 (2020) - [i85]Cyrus Neary, Zhe Xu
, Bo Wu, Ufuk Topcu:
Reward Machines for Cooperative Multi-Agent Reinforcement Learning. CoRR abs/2007.01962 (2020) - [i84]Zhe Xu
, Bo Wu, Ufuk Topcu:
Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach. CoRR abs/2007.15114 (2020) - [i83]Parham Gohari, Franck Djeumou, Abraham P. Vinod, Ufuk Topcu:
Blending Controllers via Multi-Objective Bandits. CoRR abs/2007.15755 (2020) - [i82]Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu:
Near-Optimal Reactive Synthesis Incorporating Runtime Information. CoRR abs/2007.16107 (2020) - [i81]Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu
, Ufuk Topcu:
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. CoRR abs/2008.00164 (2020) - [i80]Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu:
Constrained Active Classification Using Partially Observable Markov Decision Processes. CoRR abs/2008.04768 (2020) - [i79]Binghan He, Jaemin Lee, Ufuk Topcu, Luis Sentis:
BP-RRT: Barrier Pair Synthesis for Temporal Logic Motion Planning. CoRR abs/2009.02432 (2020) - [i78]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu:
Robust Finite-State Controllers for Uncertain POMDPs. CoRR abs/2009.11459 (2020) - [i77]Tichakorn Wongpiromsarn, Konstantin Slutsky, Emilio Frazzoli, Ufuk Topcu:
Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations. CoRR abs/2009.11954 (2020) - [i76]Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu:
On-The-Fly Control of Unknown Smooth Systems from Limited Data. CoRR abs/2009.12733 (2020) - [i75]Ufuk Topcu, Nadya Bliss, Nancy J. Cooke, Missy L. Cummings, Ashley J. Llorens, Howard E. Shrobe, Lenore D. Zuck:
Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust. CoRR abs/2010.14443 (2020) - [i74]Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu:
On-The-Fly Control of Unknown Systems: From Side Information to Performance Guarantees through Reachability. CoRR abs/2011.05524 (2020) - [i73]Alexander J. Nettekoven, Scott Fish, Joseph Beaman, Ufuk Topcu:
Towards online monitoring and data-driven control: a study of segmentation algorithms for infrared images of the powder bed. CoRR abs/2011.09065 (2020) - [i72]Mahsa Ghasemi, Evan Scope Crafts, Bo Zhao, Ufuk Topcu:
Multiple Plans are Better than One: Diverse Stochastic Planning. CoRR abs/2012.15485 (2020)
2010 – 2019
- 2019
- [c155]Zhe Xu, Federico M. Zegers, Bo Wu, Warren E. Dixon
, Ufuk Topcu
:
Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach. Allerton 2019: 1015-1022 - [c154]Suda Bharadwaj, Roderick Bloem
, Rayna Dimitrova, Bettina Könighofer, Ufuk Topcu
:
Synthesis of Minimum-Cost Shields for Multi-agent Systems. ACC 2019: 1048-1055 - [c153]Melkior Ornik, Steven Carr, Arie Israel, Ufuk Topcu
:
Myopic Control of Systems with Unknown Dynamics. ACC 2019: 1064-1071 - [c152]Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
:
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. ACC 2019: 1216-1223 - [c151]Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
:
Least Inferable Policies for Markov Decision Processes. ACC 2019: 1224-1231 - [c150]Zhe Xu
, Melkior Ornik, A. Agung Julius, Ufuk Topcu
:
Information-Guided Temporal Logic Inference with Prior Knowledge. ACC 2019: 1891-1897 - [c149]Mohamadreza Ahmadi, Bo Wu, Yuxin Chen, Yisong Yue, Ufuk Topcu
:
Barrier Certificates for Assured Machine Teaching. ACC 2019: 3658-3663 - [c148]Mahsa Ghasemi, Abolfazl Hashemi, Ufuk Topcu
, Haris Vikalo
:
On Submodularity of Quadratic Observation Selection in Constrained Networked Sensing Systems. ACC 2019: 4671-4676 - [c147]Hasan A. Poonawala, Niklas T. Lauffer, Ufuk Topcu
:
Training Classifiers For Feedback Control. ACC 2019: 4961-4967 - [c146]Dantong Ge, Ufuk Topcu
:
Hierarchical Path Planning for Urban On-Demand Air Mobility. CCTA 2019: 894-899 - [c145]Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
:
Optimal Deceptive and Reference Policies for Supervisory Control. CDC 2019: 1323-1330 - [c144]Yagiz Savas, Vijay Gupta
, Melkior Ornik, Lillian J. Ratliff
, Ufuk Topcu
:
Incentive Design for Temporal Logic Objectives. CDC 2019: 2251-2258 - [c143]Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu
:
Reward-Based Deception with Cognitive Bias. CDC 2019: 2265-2270 - [c142]Michael Hibbard, Yagiz Savas, Bo Wu, Takashi Tanaka, Ufuk Topcu
:
Unpredictable Planning Under Partial Observability. CDC 2019: 2271-2277 - [c141]Bo Wu, Murat Cubuktepe, Ufuk Topcu
:
Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis. CDC 2019: 2509-2516 - [c140]Zhe Xu
, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu
:
Graph Temporal Logic Inference for Classification and Identification. CDC 2019: 4761-4768 - [c139]Yagiz Savas, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu
:
Entropy-Regularized Stochastic Games. CDC 2019: 5955-5962 - [c138]Mahsa Ghasemi, Ufuk Topcu
:
Online Active Perception for Partially Observable Markov Decision Processes with Limited Budget. CDC 2019: 6169-6174 - [c137]Suda Bharadwaj, Louis Ly, Bo Wu, Richard Tsai, Ufuk Topcu
:
Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization. CDC 2019: 6275-6281 - [c136]Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo, Ufuk Topcu:
Submodular Observation Selection and Information Gathering for Quadratic Models. ICML 2019: 2653-2662 - [c135]Yingshui Tan, Baihong Jin, Alexander J. Nettekoven, Yuxin Chen, Yisong Yue, Ufuk Topcu
, Alberto L. Sangiovanni-Vincentelli:
An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing. ICMLA 2019: 1008-1015 - [c134]Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu
:
Salty-A Domain Specific Language for GR(1) Specifications and Designs. ICRA 2019: 4545-4551 - [c133]Mahsa Ghasemi, Ufuk Topcu
:
Perception-Aware Point-Based Value Iteration for Partially Observable Markov Decision Processes. IJCAI 2019: 2371-2377 - [c132]Zhe Xu, Ufuk Topcu
:
Transfer of Temporal Logic Formulas in Reinforcement Learning. IJCAI 2019: 4010-4018 - [c131]Steven Carr, Nils Jansen
, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker
, Ufuk Topcu
:
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. IJCAI 2019: 5532-5539 - [c130]Rachel Schlossman, Minkyu Kim, Ufuk Topcu
, Luis Sentis:
Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions. IROS 2019: 7770-7776 - [c129]Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu
:
Traffic Management for Urban Air Mobility. NFM 2019: 71-87 - [c128]Nils Jansen
, Laura R. Humphrey, Jana Tumova, Ufuk Topcu
:
Structured Synthesis for Probabilistic Systems. NFM 2019: 237-254 - [i71]Min Wen, Osbert Bastani, Ufuk Topcu:
Fairness with Dynamics. CoRR abs/1901.08568 (2019) - [i70]Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu:
Distributed Synthesis of Surveillance Strategies for Mobile Sensors. CoRR abs/1902.02393 (2019) - [i69]Rachel Schlossman, Minkyu Kim, Ufuk Topcu, Luis Sentis:
Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions. CoRR abs/1903.01350 (2019) - [i68]Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu:
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. CoRR abs/1903.08428 (2019) - [i67]Zhe Xu
, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu:
Graph Temporal Logic Inference for Classification and Identification. CoRR abs/1903.09714 (2019) - [i66]Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu:
Synthesis of Admissible Shields. CoRR abs/1904.06938 (2019) - [i65]Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu:
Reward-Based Deception with Cognitive Bias. CoRR abs/1904.11454 (2019) - [i64]Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu:
Synthesis of Provably Correct Autonomy Protocols for Shared Control. CoRR abs/1905.06471 (2019) - [i63]Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu:
Control Theory Meets POMDPs: A Hybrid Systems Approach. CoRR abs/1905.08095 (2019) - [i62]Baihong Jin, Yingshui Tan, Alexander J. Nettekoven, Yuxin Chen, Ufuk Topcu, Yisong Yue, Alberto L. Sangiovanni-Vincentelli:
An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing. CoRR abs/1907.11778 (2019) - [i61]Zhe Xu
, Ufuk Topcu:
Transfer of Temporal Logic Formulas in Reinforcement Learning. CoRR abs/1909.04256 (2019) - [i60]Zhe Xu
, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu:
Joint Inference of Reward Machines and Policies for Reinforcement Learning. CoRR abs/1909.05912 (2019) - [i59]Zhe Xu, Federico M. Zegers, Bo Wu, Warren E. Dixon, Ufuk Topcu:
Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach. CoRR abs/1909.09939 (2019) - [i58]Mahsa Ghasemi, Abolfazl Hashemi, Haris Vikalo, Ufuk Topcu:
Identifying Low-Dimensional Structures in Markov Chains: A Nonnegative Matrix Factorization Approach. CoRR abs/1909.12898 (2019) - [i57]Zhe Xu
, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu:
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. CoRR abs/1909.13294 (2019) - [i56]Parham Gohari, Bo Wu, Matthew T. Hale, Ufuk Topcu:
The Dirichlet Mechanism for Differential Privacy on the Unit Simplex. CoRR abs/1910.00043 (2019) - [i55]Mahsa Ghasemi, Ufuk Topcu:
Online Active Perception for Partially Observable Markov Decision Processes with Limited Budget. CoRR abs/1910.02130 (2019) - [i54]Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu:
Reactive Synthesis with Maximum Realizability of Linear Temporal Logic Specifications. CoRR abs/1910.02561 (2019) - [i53]Dhananjay Raju, Suda Bharadwaj, Ufuk Topcu:
Decentralized Runtime Synthesis of Shields for Multi-Agent Systems. CoRR abs/1910.10380 (2019) - [i52]Suda Bharadwaj, Louis Ly, Bo Wu, Richard Tsai, Ufuk Topcu:
Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization. CoRR abs/1911.07394 (2019) - [i51]Michael Hibbard, Yagiz Savas, Zhe Xu
, Ufuk Topcu:
Minimizing the Information Leakage Regarding High-Level Task Specifications. CoRR abs/1911.09889 (2019) - [i50]Zhe Xu
, Agung Julius, Ufuk Topcu, Joe H. Chow:
Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications. CoRR abs/1911.11347 (2019) - [i49]Melkior Ornik, Ufuk Topcu:
Learning and Planning for Time-Varying MDPs Using Maximum Likelihood Estimation. CoRR abs/1911.12976 (2019) - [i48]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain MDPs. CoRR abs/1912.11223 (2019) - 2018
- [j27]Rajeev Alur, Salar Moarref, Ufuk Topcu
:
Compositional and symbolic synthesis of reactive controllers for multi-agent systems. Inf. Comput. 261: 616-633 (2018) - [c127]Mohammed Alshiekh, Roderick Bloem
, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu:
Safe Reinforcement Learning via Shielding. AAAI 2018: 2669-2678 - [c126]Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu
, Brandon Hencey:
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets. ADHS 2018: 115-120 - [c125]Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu:
Sensor Synthesis for POMDPs with Reachability Objectives. ICAPS 2018: 47-55 - [c124]Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen
, Ufuk Topcu
:
Verification of Uncertain POMDPs Using Barrier Certificates. Allerton 2018: 115-122 - [c123]Mohamadreza Ahmadi, Suda Bharadwaj, Takashi Tanaka, Ufuk Topcu
:
Stochastic Games with Sensing Costs. Allerton 2018: 275-282 - [c122]Matija Bucic, Melkior Ornik, Ufuk Topcu
:
Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems. Allerton 2018: 297-304 - [c121]Melkior Ornik, Ufuk Topcu
:
Deception in Optimal Control. Allerton 2018: 821-828 - [c120]Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu
:
Entropy Maximization for Constrained Markov Decision Processes. Allerton 2018: 911-918 - [c119]Mohamadreza Ahmadi, Ufuk Topcu
, Clarence W. Rowley:
Control-Oriented Learning of Lagrangian and Hamiltonian Systems. ACC 2018: 520-525 - [c118]Steven Carr, Nils Jansen
, Ralf Wimmer, Jie Fu, Ufuk Topcu
:
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. ACC 2018: 762-769 - [c117]Ivan Papusha, Min Wen, Ufuk Topcu
:
Inverse Optimal Control with Regular Language Specifications. ACC 2018: 770-777 - [c116]Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo, Ufuk Topcu
:
A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks. ACC 2018: 1027-1032 - [c115]Murat Cubuktepe, Ufuk Topcu
:
Verification of Markov Decision Processes with Risk-Sensitive Measures. ACC 2018: 2371-2377 - [c114]John F. Quindlen, Ufuk Topcu
, Girish Chowdhary, Jonathan P. How:
Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties. ACC 2018: 5460-5466 - [c113]Mohamadreza Ahmadi, Murat Cubuktepe, Ufuk Topcu
, Takashi Tanaka:
Distributed Synthesis Using Accelerated ADMM. ACC 2018: 6206-6211 - [c112]John F. Quindlen, Ufuk Topcu
, Girish Chowdhary, Jonathan P. How:
Active Sampling for Closed-Loop Statistical Verification of Uncertain Nonlinear Systems. ACC 2018: 6259-6265 - [c111]Murat Cubuktepe, Nils Jansen
, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
:
Synthesis in pMDPs: A Tale of 1001 Parameters. ATVA 2018: 160-176 - [c110]Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu
:
Maximum Realizability for Linear Temporal Logic Specifications. ATVA 2018: 458-475 - [c109]Melkior Ornik, Jie Fu, Niklas T. Lauffer, W. K. Perera, Mohammed Alshiekh, Masahiro Ono, Ufuk Topcu
:
Expedited Learning in MDPs with Side Information. CDC 2018: 1941-1948 - [c108]Suda Bharadwaj
, Rayna Dimitrova, Ufuk Topcu
:
Distributed Synthesis of Surveillance Strategies for Mobile Sensors. CDC 2018: 3335-3342 - [c107]Suda Bharadwaj
, Rayna Dimitrova, Ufuk Topcu
:
Synthesis of Surveillance Strategies via Belief Abstraction. CDC 2018: 4159-4166 - [c106]Suda Bharadwaj
, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu
:
Transfer Entropy in MDPs with Temporal Logic Specifications. CDC 2018: 4173-4180 - [c105]Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu
:
Privacy Verification in POMDPs via Barrier Certificates. CDC 2018: 5610-5615 - [c104]Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu
:
Counterexamples for Robotic Planning Explained in Structured Language. ICRA 2018: 7292-7297 - [c103]Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. MBMV 2018 - [c102]Min Wen, Ufuk Topcu:
Constrained Cross-Entropy Method for Safe Reinforcement Learning. NeurIPS 2018: 7461-7471 - [c101]Sebastian Junges, Nils Jansen
, Joost-Pieter Katoen, Ufuk Topcu
, Ruohan Zhang, Mary M. Hayhoe:
Model Checking for Safe Navigation Among Humans. QEST 2018: 207-222 - [i47]Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu:
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. CoRR abs/1802.09810 (2018) - [i46]Murat Cubuktepe, Ufuk Topcu:
Verification of Markov Decision Processes with Risk-Sensitive Measures. CoRR abs/1803.00091 (2018) - [i45]Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu:
Counterexamples for Robotic Planning Explained in Structured Language. CoRR abs/1803.08966 (2018) - [i44]Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu:
Maximum Realizability for Linear Temporal Logic Specifications. CoRR abs/1804.00415 (2018) - [i43]Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu:
Privacy Verification in POMDPs via Barrier Certificates. CoRR abs/1804.03810 (2018) - [i42]Melkior Ornik, Ufuk Topcu:
Deception in Optimal Control. CoRR abs/1805.03090 (2018) - [i41]Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu:
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints. CoRR abs/1807.03223 (2018) - [i40]Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu:
Verification of Uncertain POMDPs Using Barrier Certificates. CoRR abs/1807.03823 (2018) - [i39]Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu:
Structured Synthesis for Probabilistic Systems. CoRR abs/1807.06106 (2018) - [i38]Suda Bharadwaj, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu:
Transfer Entropy in MDPs with Temporal Logic Specifications. CoRR abs/1809.06480 (2018) - [i37]Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
The Partially Observable Games We Play for Cyber Deception. CoRR abs/1810.00092 (2018) - [i36]Mohamadreza Ahmadi, Bo Wu, Yuxin Chen, Yisong Yue, Ufuk Topcu:
Barrier Certificates for Assured Machine Teaching. CoRR abs/1810.00093 (2018) - [i35]Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu:
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. CoRR abs/1810.00097 (2018) - [i34]Ye Zhao, Yinan Li, Luis Sentis, Ufuk Topcu, Jun Liu:
Reactive Task and Motion Planning for Robust Whole-Body Dynamic Locomotion in Constrained Environments. CoRR abs/1811.04333 (2018) - [i33]Zhe Xu
, Melkior Ornik, A. Agung Julius, Ufuk Topcu:
Information-Guided Temporal Logic Inference with Prior Knowledge. CoRR abs/1811.08846 (2018) - [i32]Dantong Ge, Melkior Ornik, Ufuk Topcu:
Robust Myopic Control for Systems with Imperfect Observations. CoRR abs/1811.09000 (2018) - 2017
- [j26]Bettina Könighofer
, Mohammed Alshiekh, Roderick Bloem
, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu
, Chao Wang:
Shield synthesis. Formal Methods Syst. Des. 51(2): 332-361 (2017) - [j25]Shuo Han, Ufuk Topcu
, George J. Pappas
:
Differentially Private Distributed Constrained Optimization. IEEE Trans. Autom. Control. 62(1): 50-64 (2017) - [j24]Wann-Jiun Ma, Vijay Gupta
, Ufuk Topcu
:
Distributed Charging Control of Electric Vehicles Using Online Learning. IEEE Trans. Autom. Control. 62(10): 5289-5295 (2017) - [c100]Nils Jansen
, Murat Cubuktepe, Ufuk Topcu
:
Synthesis of shared control protocols with provable safety and performance guarantees. ACC 2017: 1866-1873 - [c99]Shuo Han, Ufuk Topcu
, George J. Pappas
:
Quantification on the efficiency gain of automated ridesharing services. ACC 2017: 3560-3566 - [c98]Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen
, Ufuk Topcu
, Joost-Pieter Katoen, Bernd Becker
:
Motion planning under partial observability using game-based abstraction. CDC 2017: 2201-2208 - [c97]Hasan A. Poonawala, Ufuk Topcu
:
Robustness of classifier-in-the-loop control systems: A hybrid-systems approach. CDC 2017: 2738-2743 - [c96]Mohamadreza Ahmadi, Arie Israel, Ufuk Topcu
:
Safety assessemt based on physically-viable data-driven models. CDC 2017: 6409-6414 - [c95]Jie Fu, Ivan Papusha, Ufuk Topcu
:
Sampling-based Approximate Optimal Control Under Temporal Logic Constraints. HSCC 2017: 227-235 - [c94]Min Wen, Ivan Papusha, Ufuk Topcu
:
Learning from Demonstrations with High-Level Side Information. IJCAI 2017: 3055-3061 - [c93]Suda Bharadwaj
, Stéphane Le Roux, Guillermo A. Pérez
, Ufuk Topcu
:
Reduction Techniques for Model Checking and Learning in MDPs. IJCAI 2017: 4273-4279 - [c92]Hasan A. Poonawala, Mohammed Alshiekh, Scott Niekum, Ufuk Topcu
:
Classification error correction: A case study in brain-computer interfacing. IROS 2017: 3006-3012 - [c91]Murat Cubuktepe, Nils Jansen
, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
:
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. TACAS (2) 2017: 133-150 - [i31]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu:
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. CoRR abs/1702.00063 (2017) - [i30]Michael L. Littman, Ufuk Topcu, Jie Fu, Charles Lee Isbell Jr., Min Wen, James MacGlashan:
Environment-Independent Task Specifications via GLTL. CoRR abs/1704.04341 (2017) - [i29]John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How:
Active Sampling for Constrained Simulation-based Verification of Uncertain Nonlinear Systems. CoRR abs/1705.01471 (2017) - [i28]John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How:
Active Sampling-based Binary Verification of Dynamical Systems. CoRR abs/1706.04268 (2017) - [i27]Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Motion Planning under Partial Observability using Game-Based Abstraction. CoRR abs/1708.04236 (2017) - [i26]Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu:
Safe Reinforcement Learning via Shielding. CoRR abs/1708.08611 (2017) - [i25]Melkior Ornik, Arie Israel, Ufuk Topcu:
Control-Oriented Learning on the Fly. CoRR abs/1709.04889 (2017) - [i24]Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu:
Synthesis of surveillance strategies via belief abstraction. CoRR abs/1709.05363 (2017) - [i23]John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How:
Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties. CoRR abs/1709.06645 (2017) - [i22]Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo, Ufuk Topcu:
A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks. CoRR abs/1709.08823 (2017) - [i21]Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu:
Sensor Synthesis for POMDPs with Reachability Objectives. CoRR abs/1710.00675 (2017) - 2016
- [j23]Kenneth D. Mease
, Ufuk Topcu
, Erkut Aykutlug, Marco Maggia:
Characterizing two-timescale nonlinear dynamics using finite-time Lyapunov exponents and subspaces. Commun. Nonlinear Sci. Numer. Simul. 36: 148-174 (2016) - [j22]Erkut Aykutlug, Ufuk Topcu
, Kenneth D. Mease
:
Manifold-Following Approximate Solution of Completely Hypersensitive Optimal Control Problems. J. Optim. Theory Appl. 170(1): 220-242 (2016) - [j21]Tichakorn Wongpiromsarn, Ufuk Topcu
, Andrew G. Lamperski
:
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems. IEEE Trans. Autom. Control. 61(11): 3344-3355 (2016) - [j20]Jie Fu
, Ufuk Topcu
:
Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints. IEEE Trans. Autom. Control. 61(11): 3464-3476 (2016) - [j19]Jie Fu, Ufuk Topcu
:
Synthesis of Shared Autonomy Policies With Temporal Logic Specifications. IEEE Trans Autom. Sci. Eng. 13(1): 7-17 (2016) - [j18]Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
:
Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems. IEEE Trans Autom. Sci. Eng. 13(2): 450-462 (2016) - [c90]Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu:
Probabilistic Verification for Cognitive Models. AAAI Fall Symposia 2016 - [c89]Shuo Han, Ufuk Topcu
, George J. Pappas
:
Event-based information-theoretic privacy: A case study of smart meters. ACC 2016: 2074-2079 - [c88]John F. Quindlen, Ufuk Topcu
, Girish Chowdhary
, Jonathan P. How
:
Region-of-convergence estimation for learning-based adaptive controllers. ACC 2016: 2500-2505 - [c87]Rajeev Alur, Salar Moarref, Ufuk Topcu
:
Compositional Synthesis of Reactive Controllers for Multi-agent Systems. CAV (2) 2016: 251-269 - [c86]Rüdiger Ehlers
, Salar Moarref, Ufuk Topcu
:
Risk-averse control of Markov decision processes with ω-regular objectives. CDC 2016: 426-433 - [c85]Ivan Papusha, Jie Fu, Ufuk Topcu
, Richard M. Murray:
Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints. CDC 2016: 434-440 - [c84]Hasan A. Poonawala, Ufuk Topcu
:
Filter-based stochastic abstractions for constrained planning with limited sensing. CDC 2016: 3319-3324 - [c83]Ye Zhao, Ufuk Topcu
, Luis Sentis:
High-level planner synthesis for whole-body locomotion in unstructured environments. CDC 2016: 6557-6564 - [c82]Rayna Dimitrova, Jie Fu, Ufuk Topcu
:
Robust optimal policies for Markov decision processes with safety-threshold constraints. CDC 2016: 7081-7086 - [c81]Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu
:
Synthesis of Admissible Shields. Haifa Verification Conference 2016: 134-151 - [c80]Alexandar Kozarev, John F. Quindlen, Jonathan P. How
, Ufuk Topcu
:
Case Studies in Data-Driven Verification of Dynamical Systems. HSCC 2016: 81-86 - [c79]Rajeev Alur, Salar Moarref, Ufuk Topcu
:
Compositional Synthesis with Parametric Reactive Controllers. HSCC 2016: 215-224 - [c78]Jie Fu, Nikolay Atanasov, Ufuk Topcu
, George J. Pappas
:
Optimal temporal logic planning in probabilistic semantic maps. ICRA 2016: 3690-3697 - [c77]Min Wen, Ufuk Topcu:
Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications. IJCAI 2016: 3630-3636 - [c76]Lu Feng, Laura R. Humphrey, Insup Lee, Ufuk Topcu
:
Human-interpretable diagnostic information for robotic planning systems. IROS 2016: 1673-1680 - [c75]Sebastian Junges, Nils Jansen
, Christian Dehnert, Ufuk Topcu
, Joost-Pieter Katoen
:
Safety-Constrained Reinforcement Learning for MDPs. TACAS 2016: 130-146 - [c74]Daniel Neider
, Ufuk Topcu
:
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs. TACAS 2016: 204-221 - [i20]Daniel Neider, Ufuk Topcu:
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs. CoRR abs/1601.01660 (2016) - [i19]Rüdiger Ehlers, Salar Moarref, Ufuk Topcu:
Risk-Averse ω-regular Markov Decision Process Control. CoRR abs/1603.06716 (2016) - [i18]Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees. CoRR abs/1610.08500 (2016) - [i17]Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu:
Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction. CoRR abs/1610.09409 (2016) - 2015
- [j17]Shuo Han, Molei Tao, Ufuk Topcu
, Houman Owhadi, Richard M. Murray
:
Convex Optimal Uncertainty Quantification. SIAM J. Optim. 25(3): 1368-1387 (2015) - [j16]Lingwen Gan, Na Li, Ufuk Topcu
, Steven H. Low:
Exact Convex Relaxation of Optimal Power Flow in Radial Networks. IEEE Trans. Autom. Control. 60(1): 72-87 (2015) - [j15]Huan Xu, Ufuk Topcu
, Richard M. Murray
:
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution. IEEE Trans. Control. Netw. Syst. 2(2): 193-203 (2015) - [c73]Jie Fu, Ufuk Topcu
:
Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations. ACC 2015: 2408-2413 - [c72]Shuo Han, Ufuk Topcu
, George J. Pappas
:
An approximately truthful mechanism for electric vehicle charging via joint differential privacy. ACC 2015: 2469-2475 - [c71]Konstantinos Gatsis
, Ufuk Topcu
, George J. Pappas
:
Value of forecasts in planning under uncertainty. ACC 2015: 5043-5049 - [c70]Shuo Han
, Ufuk Topcu
, George J. Pappas
:
A sublinear algorithm for barrier-certificate-based data-driven model validation of dynamical systems. CDC 2015: 2049-2054 - [c69]Jie Fu, Ufuk Topcu
:
Computational methods for stochastic control with metric interval temporal logic specifications. CDC 2015: 7440-7447 - [c68]Jie Fu, Shuo Han, Ufuk Topcu
:
Optimal control in Markov decision processes via distributed optimization. CDC 2015: 7462-7469 - [c67]Rüdiger Ehlers
, Ufuk Topcu
:
Estimator-based reactive synthesis under incomplete information. HSCC 2015: 249-258 - [c66]Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu
:
Controller synthesis for autonomous systems interacting with human operators. ICCPS 2015: 70-79 - [c65]Jie Fu, Ufuk Topcu
:
Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints. ICRA 2015: 361-368 - [c64]Min Wen, Rüdiger Ehlers
, Ufuk Topcu
:
Correct-by-synthesis reinforcement learning with temporal logic constraints. IROS 2015: 4983-4990 - [c63]Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu
, Clemens Wiltsche:
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. TACAS 2015: 256-271 - [c62]Rajeev Alur, Salar Moarref, Ufuk Topcu
:
Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis. TACAS 2015: 501-516 - [i16]Min Wen, Rüdiger Ehlers, Ufuk Topcu:
Correct-by-synthesis reinforcement learning with temporal logic constraints. CoRR abs/1503.01793 (2015) - [i15]Jie Fu, Shuo Han, Ufuk Topcu:
Optimal control in Markov decision processes via distributed optimization. CoRR abs/1503.07189 (2015) - [i14]Jie Fu, Ufuk Topcu:
Computational methods for stochastic control with metric interval temporal logic specifications. CoRR abs/1503.07193 (2015) - [i13]Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen:
Safety-Constrained Reinforcement Learning for MDPs. CoRR abs/1510.05880 (2015) - [i12]Jie Fu, Nikolay Atanasov, Ufuk Topcu, George J. Pappas:
Optimal Temporal Logic Planning in Probabilistic Semantic Maps. CoRR abs/1510.06469 (2015) - [i11]Min Wen, Ufuk Topcu:
Strategy Synthesis for Stochastic Rabin Games with Discounted Reward. CoRR abs/1511.00647 (2015) - 2014
- [j14]Robert Rogersten, Huan Xu, Necmiye Ozay
, Ufuk Topcu
, Richard M. Murray
:
Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed. J. Aerosp. Inf. Syst. 11(10): 665-678 (2014) - [j13]Changhong Zhao, Ufuk Topcu
, Na Li, Steven H. Low:
Design and Stability of Load-Side Primary Frequency Control in Power Systems. IEEE Trans. Autom. Control. 59(5): 1177-1189 (2014) - [c61]Laura R. Humphrey, Eric M. Wolff, Ufuk Topcu:
Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles. AAAI Spring Symposia 2014 - [c60]Shuo Han, Ufuk Topcu
, George J. Pappas
:
Differentially private distributed protocol for electric vehicle charging. Allerton 2014: 242-249 - [c59]Jie Fu, Rayna Dimitrova, Ufuk Topcu
:
Abstractions and sensor design in partial-information, reactive controller synthesis. ACC 2014: 2297-2304 - [c58]Wann-Jiun Ma, Vijay Gupta
, Ufuk Topcu
:
On distributed charging control of electric vehicles with power network capacity constraints. ACC 2014: 4306-4311 - [c57]Shuo Han, Ufuk Topcu
, George J. Pappas
:
Differentially private convex optimization with piecewise affine objectives. CDC 2014: 2160-2166 - [c56]Wann-Jiun Ma, Vijay Gupta
, Ufuk Topcu
:
Distributed charging control of electric vehicles using regret minimization. CDC 2014: 4917-4923 - [c55]Rüdiger Ehlers
, Ufuk Topcu
:
Resilience to intermittent assumption violations in reactive synthesis. HSCC 2014: 203-212 - [c54]Eric M. Wolff, Ufuk Topcu
, Richard M. Murray
:
Optimization-based trajectory generation with linear temporal logic specifications. ICRA 2014: 5319-5325 - [c53]Jie Fu, Ufuk Topcu:
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints. Robotics: Science and Systems 2014 - [i10]Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew G. Lamperski:
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems. CoRR abs/1403.3524 (2014) - [i9]Shuo Han, Ufuk Topcu, George J. Pappas:
Differentially Private Convex Optimization with Piecewise Affine Objectives. CoRR abs/1403.6135 (2014) - [i8]Jie Fu, Ufuk Topcu:
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints. CoRR abs/1404.7073 (2014) - [i7]Jie Fu, Rayna Dimitrova, Ufuk Topcu:
Abstractions and sensor design in partial-information, reactive controller synthesis. CoRR abs/1405.1630 (2014) - [i6]Jie Fu, Ufuk Topcu:
Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations. CoRR abs/1410.0083 (2014) - [i5]Shuo Han, Ufuk Topcu, George J. Pappas:
Differentially Private Distributed Constrained Optimization. CoRR abs/1411.4105 (2014) - [i4]Jie Fu, Ufuk Topcu:
Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints. CoRR abs/1412.6029 (2014) - 2013
- [j12]Lingwen Gan, Adam Wierman, Ufuk Topcu
, Niangjun Chen, Steven H. Low:
Real-time deferrable load control: handling the uncertainties of renewable generation. SIGMETRICS Perform. Evaluation Rev. 41(3): 77-79 (2013) - [j11]Jun Liu
, Necmiye Ozay, Ufuk Topcu
, Richard M. Murray
:
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications. IEEE Trans. Autom. Control. 58(7): 1771-1785 (2013) - [c52]Shuo Han, Ufuk Topcu, Molei Tao, Houman Owhadi, Richard M. Murray:
Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids. ACC 2013: 1130-1137 - [c51]Ufuk Topcu
, Dennice F. Gayme, Steven H. Low, Pramod P. Khargonekar:
Towards smart, flexible and efficient power systems: Vision and research challenges. ACC 2013: 5237-5244 - [c50]Steven H. Low, Dennice F. Gayme, Ufuk Topcu:
Convexifying optimal power flow: Recent advances in OPF solution methods. ACC 2013: 5245 - [c49]Lingwen Gan, Na Li, Ufuk Topcu
, Steven H. Low:
Optimal power flow in tree networks. CDC 2013: 2313-2318 - [c48]Eric M. Wolff, Ufuk Topcu
, Richard M. Murray
:
Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic. CDC 2013: 3197-3204 - [c47]Masahiro Ono, Ufuk Topcu
, Masaki Yo, Shuichi Adachi:
Risk-limiting power grid control with an ARMA-based prediction model. CDC 2013: 4949-4956 - [c46]Lingwen Gan, Adam Wierman, Ufuk Topcu
, Niangjun Chen, Steven H. Low:
Real-time deferrable load control: handling the uncertainties of renewable generation. e-Energy 2013: 113-124 - [c45]Rajeev Alur, Salar Moarref, Ufuk Topcu:
Counter-strategy guided refinement of GR(1) temporal logic specifications. FMCAD 2013: 26-33 - [c44]Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu
, Richard M. Murray
:
An aircraft electric power testbed for validating automatically synthesized reactive control protocols. HSCC 2013: 89-94 - [c43]Anduo Wang, Salar Moarref, Boon Thau Loo
, Ufuk Topcu
, Andre Scedrov
:
Automated synthesis of reactive controllers for software-defined networks. ICNP 2013: 1-6 - [c42]Eric M. Wolff, Ufuk Topcu
, Richard M. Murray
:
Efficient reactive controller synthesis for a fragment of linear temporal logic. ICRA 2013: 5033-5040 - [c41]Eric M. Wolff, Ufuk Topcu
, Richard M. Murray
:
Automaton-guided controller synthesis for nonlinear systems with temporal logic. IROS 2013: 4332-4339 - [c40]Lingwen Gan, Na Li, Steven H. Low, Ufuk Topcu
:
Exact convex relaxation for optimal power flow in distribution networks. SIGMETRICS 2013: 351-352 - [i3]Changhong Zhao, Ufuk Topcu, Na Li, Steven H. Low:
Power System Dynamics as Primal-Dual Algorithm for Optimal Load Control. CoRR abs/1305.0585 (2013) - [i2]Rajeev Alur, Salar Moarref, Ufuk Topcu:
Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications. CoRR abs/1308.4113 (2013) - 2012
- [j10]Tichakorn Wongpiromsarn, Ufuk Topcu
, Richard M. Murray
:
Receding Horizon Temporal Logic Planning. IEEE Trans. Autom. Control. 57(11): 2817-2830 (2012) - [c39]Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray:
Switching protocol synthesis for temporal logic specifications. ACC 2012: 727-734 - [c38]Changhong Zhao, Ufuk Topcu, Steven H. Low:
Frequency-based load control in power systems. ACC 2012: 4423-4430 - [c37]Emma Sjodin, Dennice F. Gayme, Ufuk Topcu
:
Risk-mitigated optimal power flow for wind powered grids. ACC 2012: 4431-4437 - [c36]Petter Nilsson, Necmiye Ozay, Ufuk Topcu
, Richard M. Murray:
Temporal logic control of switched affine systems with an application in fuel balancing. ACC 2012: 5302-5309 - [c35]Lingwen Gan, Libin Jiang, Steven H. Low, Ufuk Topcu, Changhong Zhao:
Some problems in demand side management. APSIPA 2012: 1-6 - [c34]Lingwen Gan, Na Li, Ufuk Topcu
, Steven H. Low:
On the exactness of convex relaxation for optimal power flow in tree networks. CDC 2012: 465-471 - [c33]Huan Xu, Ufuk Topcu
, Richard M. Murray
:
A case study on reactive protocols for aircraft electric power distribution. CDC 2012: 1124-1129 - [c32]Eric M. Wolff, Ufuk Topcu
, Richard M. Murray
:
Robust control of uncertain Markov Decision Processes with temporal logic specifications. CDC 2012: 3372-3379 - [c31]Subhonmesh Bose, Dennice F. Gayme, Ufuk Topcu
, K. Mani Chandy:
Optimal placement of energy storage in the grid. CDC 2012: 5605-5612 - [c30]Jun Liu, Ufuk Topcu
, Necmiye Ozay, Richard M. Murray
:
Reactive controllers for differentially flat systems with temporal logic constraints. CDC 2012: 7664-7670 - [c29]Ufuk Topcu
, Necmiye Ozay, Jun Liu, Richard M. Murray
:
On synthesizing robust discrete controllers under modeling uncertainty. HSCC 2012: 85-94 - [c28]Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu
, Joel W. Burdick, Richard M. Murray
:
Towards formal synthesis of reactive controllers for dexterous robotic manipulation. ICRA 2012: 5183-5189 - [c27]Eric M. Wolff, Ufuk Topcu
, Richard M. Murray:
Optimal Control with Weighted Average Costs and Temporal Logic Specifications. Robotics: Science and Systems 2012 - [c26]Changhong Zhao, Ufuk Topcu
, Steven H. Low:
Swing dynamics as primal-dual algorithm for optimal load control. SmartGridComm 2012: 570-575 - [i1]Clemens Wiltsche, Ufuk Topcu, Richard M. Murray:
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication. CoRR abs/1210.2035 (2012) - 2011
- [j9]Gentian Buzi, Ufuk Topcu, John C. Doyle:
Analysis of autocatalytic networks in biology. Autom. 47(6): 1123-1130 (2011) - [j8]Hadas Kress-Gazit, Tichakorn Wongpiromsarn, Ufuk Topcu
:
Correct, Reactive, High-Level Robot Control. IEEE Robotics Autom. Mag. 18(3): 65-74 (2011) - [j7]Ufuk Topcu
, Leonard J. Lucas, Houman Owhadi, Michael Ortiz:
Rigorous uncertainty quantification without integral testing. Reliab. Eng. Syst. Saf. 96(9): 1085-1091 (2011) - [j6]Sandipan Mishra, Ufuk Topcu
, Masayoshi Tomizuka:
Optimization-Based Constrained Iterative Learning Control. IEEE Trans. Control. Syst. Technol. 19(6): 1613-1621 (2011) - [c25]Dennice F. Gayme, Ufuk Topcu:
Optimal power flow with distributed energy storage dynamics. ACC 2011: 1536-1542 - [c24]Necmiye Ozay
, Ufuk Topcu
, Richard M. Murray
:
Distributed power allocation for vehicle management systems. CDC/ECC 2011: 4841-4848 - [c23]Lingwen Gan, Ufuk Topcu
, Steven H. Low:
Optimal decentralized protocol for electric vehicle charging. CDC/ECC 2011: 5798-5804 - [c22]Tichakorn Wongpiromsarn, Ufuk Topcu
, Necmiye Ozay, Huan Xu, Richard M. Murray
:
TuLiP: a software toolbox for receding horizon temporal logic planning. HSCC 2011: 313-314 - [c21]Necmiye Ozay, Ufuk Topcu
, Richard M. Murray
, Tichakorn Wongpiromsarn:
Distributed Synthesis of Control Protocols for Smart Camera Networks. ICCPS 2011: 45-54 - [c20]Rui Huang, Steven H. Low, Ufuk Topcu
, K. Mani Chandy, Christopher R. Clarke:
Optimal design of hybrid energy system with PV/wind turbine/storage: A case study. SmartGridComm 2011: 511-516 - 2010
- [j5]Ufuk Topcu, Andrew K. Packard, Peter J. Seiler
, Gary J. Balas:
Robust Region-of-Attraction Estimation. IEEE Trans. Autom. Control. 55(1): 137-142 (2010) - [c19]Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray:
Automatic Synthesis of Robust Embedded Control Software. AAAI Spring Symposium: Embedded Reasoning 2010 - [c18]Huan Xu, Ufuk Topcu, Steven H. Low, Christopher R. Clarke, K. Mani Chandy:
Load-shedding probabilities with hybrid renewable power generation and energy storage. Allerton 2010: 233-239 - [c17]Gentian Buzi, Ufuk Topcu, John C. Doyle:
Quantitative nonlinear analysis of autocatalytic pathways with applications to glycolysis. ACC 2010: 3592-3597 - [c16]Gentian Buzi, Ufuk Topcu, John C. Doyle:
Compositional analysis of autocatalytic networks in biology. ACC 2010: 5929-5935 - [c15]K. Mani Chandy, Steven H. Low, Ufuk Topcu, Huan Xu:
A simple optimal power flow model with energy storage. CDC 2010: 1051-1057 - [c14]Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
:
Receding horizon control for temporal logic specifications. HSCC 2010: 101-110
2000 – 2009
- 2009
- [j4]Giuseppe Carlo Calafiore
, Ufuk Topcu, Laurent El Ghaoui
:
Parameter estimation with expected and residual-at-risk criteria. Syst. Control. Lett. 58(1): 39-46 (2009) - [j3]Ufuk Topcu, Andrew K. Packard:
Local Stability Analysis for Uncertain Nonlinear Systems. IEEE Trans. Autom. Control. 54(5): 1042-1047 (2009) - [j2]Peter J. Seiler
, Ufuk Topcu, Andrew K. Packard, Gary J. Balas:
Parameter-Dependent Lyapunov Functions for Linear Systems With Constant Uncertainties. IEEE Trans. Autom. Control. 54(10): 2410-2416 (2009) - [c13]Ufuk Topcu, Andrew K. Packard:
Local robust performance analysis for nonlinear dynamical systems. ACC 2009: 784-789 - [c12]Ufuk Topcu, Andrew K. Packard:
Linearized analysis versus optimization-based nonlinear analysis for nonlinear systems. ACC 2009: 790-795 - [c11]Sandipan Mishra, Ufuk Topcu, Masayoshi Tomizuka:
Iterative learning control with saturation constraints. ACC 2009: 943-948 - [c10]Ufuk Topcu, Andrew K. Packard, Richard M. Murray
:
Compositional stability analysis based on dual decomposition. CDC 2009: 1175-1180 - [c9]Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray
:
Receding horizon temporal logic planning for dynamical systems. CDC 2009: 5997-6004 - [c8]Ufuk Topcu
, Andrew K. Packard, Peter J. Seiler, Gary Balas:
Stability region estimation for systems with unmodeled dynamics. ECC 2009: 85-90 - 2008
- [j1]Ufuk Topcu, Andrew K. Packard, Peter J. Seiler
:
Local stability analysis using simulations and sum-of-squares programming. Autom. 44(10): 2669-2675 (2008) - [c7]Ufuk Topcu, Andrew K. Packard, Peter J. Seiler
, Gary Balas:
Local stability analysis for uncertain nonlinear systems using a branch-and-bound algorithm. ACC 2008: 3428-3433 - [c6]Giuseppe Carlo Calafiore
, Ufuk Topcu, Laurent El Ghaoui
:
Parameter estimation with expected and residual-at-risk criteria. CDC 2008: 666-671 - [c5]Ufuk Topcu, Giuseppe Carlo Calafiore
, Laurent El Ghaoui
:
Multistage investments with recourse: A single-asset case with transaction costs. CDC 2008: 2398-2403 - [c4]Weehong Tan, Ufuk Topcu, Peter J. Seiler
, Gary J. Balas, Andrew K. Packard:
Simulation-aided reachability and local gain analysis for nonlinear dynamical systems. CDC 2008: 4097-4102 - 2007
- [c3]Ufuk Topcu, Andrew K. Packard, Peter J. Seiler
, Timothy J. Wheeler:
Stability Region Analysis Using Simulations and Sum-of-Squares Programming. ACC 2007: 6009-6014 - [c2]Ufuk Topcu, Andrew K. Packard:
Stability region analysis for uncertain nonlinear systems. CDC 2007: 1693-1698 - 2006
- [c1]Ufuk Topcu, Kenneth D. Mease:
Using Lyapunov Vectors and Dichotomy to Solve Hyper-Sensitive Optimal Control Problems. CDC 2006: 247-252
Coauthor Index
aka: Sudarshanan Bharadwaj
aka: Sandeep P. Chinchali
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-20 20:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint