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
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j83]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
- [j82]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) - [j81]Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu:
Identity concealment games: How I learned to stop revealing and love the coincidences. Autom. 161: 111482 (2024) - [j80]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) - [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 - [i217]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) - [i216]Tyler Ingebrand, Amy Zhang, Ufuk Topcu:
Zero-Shot Reinforcement Learning via Function Encoders. CoRR abs/2401.17173 (2024) - [i215]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) - [i214]Po-han Li, Öykü Selin Toprak, Aditya Narayanan, Ufuk Topcu, Sandeep Chinchali:
Online Foundation Model Selection in Robotics. CoRR abs/2402.08570 (2024) - [i213]Xinjie Liu, Lasse Peters, Javier Alonso-Mora, Ufuk Topcu, David Fridovich-Keil:
Auto-Encoding Bayesian Inverse Games. CoRR abs/2402.08902 (2024) - [i212]Arash Amini, Yigit Ege Bayiz, Ashwin Ram, Radu Marculescu, Ufuk Topcu:
News Source Credibility Assessment: A Reddit Case Study. CoRR abs/2402.10938 (2024) - [i211]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) - [i210]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) - [i209]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) - [i208]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) - [i207]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) - [i206]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) - [i205]Tyler Ingebrand, Adam J. Thorpe, Ufuk Topcu:
Zero-Shot Transfer of Neural ODEs. CoRR abs/2405.08954 (2024) - [i204]Shenghui Chen, Daniel Fried, Ufuk Topcu:
Human-Agent Cooperation in Games under Incomplete Information through Natural Language Communication. CoRR abs/2405.14173 (2024) - [i203]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) - [i202]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) - [i201]Marco Tezzele, Steven Carr, Ufuk Topcu, Karen E. Willcox:
Adaptive planning for risk-aware predictive digital twins. CoRR abs/2407.20490 (2024) - [i200]Abhishek Ninad Kulkarni, Jie Fu, Ufuk Topcu:
Nash Equilibrium in Games on Graphs with Incomplete Preferences. CoRR abs/2408.02860 (2024) - [i199]Nadya Bliss, Kevin Butler, David Danks, Ufuk Topcu, Matthew Turk:
Addressing the Unforeseen Harms of Technology CCC Whitepaper. CoRR abs/2408.06431 (2024) - [i198]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) - [i197]Surya Murthy, Mustafa O. Karabag, Ufuk Topcu:
Autonomous Negotiation Using Comparison-Based Gradient Estimation. CoRR abs/2408.11186 (2024) - [i196]Georgios Bakirtzis, Michail Savvas, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu:
Reduce, Reuse, Recycle: Categories for Compositional Reinforcement Learning. CoRR abs/2408.13376 (2024) - [i195]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) - [i194]Shenghui Chen, Shufang Zhu, Giuseppe De Giacomo, Ufuk Topcu:
Learning to Coordinate without Communication under Incomplete Information. CoRR abs/2409.12397 (2024) - [i193]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) - [i192]Tyler Ingebrand, Adam J. Thorpe, Somdatta Goswami, Krishna Kumar, Ufuk Topcu:
Basis-to-Basis Operator Learning Using Function Encoders. CoRR abs/2410.00171 (2024) - [i191]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) - 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,