default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUfuk 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
SPARQL queries 
🛈 Please note that only 70% of the records listed on this page have a DOI. Therefore, DOI-based queries can only provide partial results.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j84]Ege C. Kaya, Michael Hibbard, Takashi Tanaka, Ufuk Topcu, Abolfazl Hashemi:
Randomized greedy methods for weak submodular sensor selection with robustness considerations. Autom. 171: 111984 (2025)- 2024
- [j83]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) - [j82]Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu:
Identity concealment games: How I learned to stop revealing and love the coincidences. Autom. 161: 111482 (2024) - [j81]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) - [j80]Rishabh Saumil Thakkar, Aryaman Singh Samyal, David Fridovich-Keil, Zhe Xu, Ufuk Topcu:
Hierarchical Control for Head-to-Head Autonomous Racing. Field Robotics 4(1): 46-69 (2024) - [j79]Xiaoming Duan, Zhe Xu, Rui Yan, Ufuk Topcu:
Privacy-Utility Tradeoffs Against Limited Adversaries. IEEE Trans. Autom. Control. 69(1): 519-526 (2024) - [j78]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) - [j77]Yagiz Savas, Christos K. Verginis, Michael Hibbard, Ufuk Topcu:
On Minimizing Total Discounted Cost in MDPs Subject to Reachability Constraints. IEEE Trans. Autom. Control. 69(9): 6466-6473 (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) - [c262]Yigit Ege Bayiz, Ufuk Topcu:
Optimization-Based Countering of Misinformation on Social Networks. ACC 2024: 135-142 - [c261]Arash Amini, Yigit E. Bayiz, Ufuk Topcu:
Control of Misinformation with Safety and Engagement Guarantees. ACC 2024: 151-158 - [c260]Mustafa O. Karabag, Sophia Smith, David Fridovich-Keil, Ufuk Topcu:
Encouraging Inferable Behavior for Autonomy: Repeated Bimatrix Stackelberg Games with Observations. ACC 2024: 360-366 - [c259]Yue Yu, Zhenyu Gao, Sarah H. Q. Li, Qinshuang Wei, John-Paul Clarke, Ufuk Topcu:
Alpha-Fair Routing in Urban Air Mobility with Risk-Aware Constraints. ACC 2024: 2248-2253 - [c258]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. ACC 2024: 3130-3137 - [c257]Shenghui Chen, Yagiz Savas, Mustafa O. Karabag, Brian M. Sadler, Ufuk Topcu:
Deceptive Planning for Resource Allocation. ACC 2024: 4188-4195 - [c256]Yunhao Yang, Cyrus Neary, Ufuk Topcu:
Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception. AAMAS 2024: 2011-2019 - [c255]Georgios Bakirtzis, Michail Savvas, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu:
Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning. ECAI 2024: 2653-2660 - [c254]Caleb Probine, Mustafa O. Karabag, Ufuk Topcu:
A Decentralized Shotgun Approach for Team Deception. GameSec 2024: 177-197 - [c253]Tyler Ingebrand, Amy Zhang, Ufuk Topcu:
Zero-Shot Reinforcement Learning via Function Encoders. ICML 2024 - [c252]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 - [c251]Shenghui Chen, Daniel Fried, Ufuk Topcu:
Human-Agent Cooperation in Games under Incomplete Information through Natural Language Communication. IJCAI 2024: 7833-7841 - [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 - [i223]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) - [i222]Tyler Ingebrand, Amy Zhang, Ufuk Topcu:
Zero-Shot Reinforcement Learning via Function Encoders. CoRR abs/2401.17173 (2024) - [i221]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) - [i220]Po-han Li, Öykü Selin Toprak, Aditya Narayanan, Ufuk Topcu, Sandeep Chinchali:
Online Foundation Model Selection in Robotics. CoRR abs/2402.08570 (2024) - [i219]Xinjie Liu, Lasse Peters, Javier Alonso-Mora, Ufuk Topcu, David Fridovich-Keil:
Auto-Encoding Bayesian Inverse Games. CoRR abs/2402.08902 (2024) - [i218]Arash Amini, Yigit Ege Bayiz, Ashwin Ram, Radu Marculescu, Ufuk Topcu:
News Source Credibility Assessment: A Reddit Case Study. CoRR abs/2402.10938 (2024) - [i217]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) - [i216]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) - [i215]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) - [i214]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) - [i213]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) - [i212]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) - [i211]Tyler Ingebrand, Adam J. Thorpe, Ufuk Topcu:
Zero-Shot Transfer of Neural ODEs. CoRR abs/2405.08954 (2024) - [i210]Shenghui Chen, Daniel Fried, Ufuk Topcu:
Human-Agent Cooperation in Games under Incomplete Information through Natural Language Communication. CoRR abs/2405.14173 (2024) - [i209]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) - [i208]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) - [i207]Marco Tezzele, Steven Carr, Ufuk Topcu, Karen E. Willcox:
Adaptive planning for risk-aware predictive digital twins. CoRR abs/2407.20490 (2024) - [i206]Abhishek Ninad Kulkarni, Jie Fu, Ufuk Topcu:
Nash Equilibrium in Games on Graphs with Incomplete Preferences. CoRR abs/2408.02860 (2024) - [i205]Nadya Bliss, Kevin Butler, David Danks, Ufuk Topcu, Matthew Turk:
Addressing the Unforeseen Harms of Technology CCC Whitepaper. CoRR abs/2408.06431 (2024) - [i204]Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen:
Pessimistic Iterative Planning for Robust POMDPs. CoRR abs/2408.08770 (2024) - [i203]Surya Murthy, Mustafa O. Karabag, Ufuk Topcu:
Autonomous Negotiation Using Comparison-Based Gradient Estimation. CoRR abs/2408.11186 (2024) - [i202]Georgios Bakirtzis, Michail Savvas, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu:
Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning. CoRR abs/2408.13376 (2024) - [i201]Georgios Bakirtzis, Andrea Aler Tubella, Andreas Theodorou, David Danks, Ufuk Topcu:
Navigating the sociotechnical labyrinth: Dynamic certification for responsible embodied AI. CoRR abs/2409.00015 (2024) - [i200]Shenghui Chen, Shufang Zhu, Giuseppe De Giacomo, Ufuk Topcu:
Learning to Coordinate without Communication under Incomplete Information. CoRR abs/2409.12397 (2024) - [i199]Kevin Wang, Junbo Li, Neel P. Bhatt, Yihan Xi, Qiang Liu, Ufuk Topcu, Zhangyang Wang:
On The Planning Abilities of OpenAI's o1 Models: Feasibility, Optimality, and Generalizability. CoRR abs/2409.19924 (2024) - [i198]Tyler Ingebrand, Adam J. Thorpe, Somdatta Goswami, Krishna Kumar, Ufuk Topcu:
Basis-to-Basis Operator Learning Using Function Encoders. CoRR abs/2410.00171 (2024) - [i197]Yunhao Yang, Yuxin Hu, Mao Ye, Zaiwei Zhang, Zhichao Lu, Yi Xu, Ufuk Topcu, Ben Snyder:
Uncertainty-Guided Enhancement on Driving Perception System via Foundation Models. CoRR abs/2410.01144 (2024) - [i196]Maulik Bhatt, Iman Askari, Yue Yu, Ufuk Topcu, Huazhen Fang, Negar Mehr:
MultiNash-PF: A Particle Filtering Approach for Computing Multiple Local Generalized Nash Equilibria in Trajectory Games. CoRR abs/2410.05554 (2024) - [i195]Po-han Li, Sandeep P. Chinchali, Ufuk Topcu:
CSA: Data-efficient Mapping of Unimodal Features to Multimodal Features. CoRR abs/2410.07610 (2024) - [i194]Yunhao Yang, William Ward, Zichao Hu, Joydeep Biswas, Ufuk Topcu:
Joint Verification and Refinement of Language Models for Safety-Constrained Planning. CoRR abs/2410.14865 (2024) - [i193]Yunhao Yang, Leonard Berthellemy, Ufuk Topcu:
Reasoning, Memorization, and Fine-Tuning Language Models for Non-Cooperative Games. CoRR abs/2410.14890 (2024) - [i192]Xinjie Liu, Jingqi Li, Filippos Fotiadis, Mustafa O. Karabag, Jesse Milzman, David Fridovich-Keil, Ufuk Topcu:
Policies with Sparse Inter-Agent Dependencies in Dynamic Games: A Dynamic Programming Approach. CoRR abs/2410.16441 (2024) - [i191]Shenghui Chen, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu:
Human-Agent Coordination in Games under Incomplete Information via Multi-Step Intent. CoRR abs/2410.18242 (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]