Stop the war!Остановите войну!
for scientists:
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
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j74]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)- [j73]Franck Djeumou, Christian Ellis, Murat Cubuktepe, Craig Lennon, Ufuk Topcu:
Task-guided IRL in POMDPs that scales. Artif. Intell. 317: 103856 (2023) - [j72]Runhan Sun, Suda Bharadwaj, Zhe Xu, Ufuk Topcu, Warren E. Dixon:
Reactive synthesis for relay-explorer consensus with intermittent communication. Autom. 154: 111075 (2023) - [j71]Michael Hibbard, Takashi Tanaka, Ufuk Topcu:
Simultaneous perception-action design via invariant finite belief sets. Autom. 155: 111140 (2023) - [j70]Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu:
Dynamic Certification for Autonomous Systems. Commun. ACM 66(9): 64-72 (2023) - [j69]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) - [j68]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) - [j67]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) - [j66]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) - [j65]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) - [j64]Pranay Thangeda, Melkior Ornik, Ufuk Topcu:
Expedited Online Learning With Spatial Side Information. IEEE Trans. Autom. Control. 68(3): 1479-1491 (2023) - [j63]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) - [j62]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) - [j61]Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu:
Exploiting Partial Observability for Optimal Deception. IEEE Trans. Autom. Control. 68(7): 4443-4450 (2023) - [j60]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) - [j59]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) - [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) - [c241]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 - [c240]Mustafa O. Karabag, Ufuk Topcu:
On the Sample Complexity of Vanilla Model-Based Offline Reinforcement Learning with Dependent Samples. AAAI 2023: 8195-8202 - [c239]Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu:
Safe Reinforcement Learning via Shielding under Partial Observability. AAAI 2023: 14748-14756 - [c238]Yue Yu, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu:
Poisoning Attacks Against Data-Driven Predictive Control. ACC 2023: 545-550 - [c237]Yue Yu, Shenghui Chen, David Fridovich-Keil, Ufuk Topcu:
Cost Design in Atomic Routing Games. ACC 2023: 1704-1709 - [c236]Po-han Li, Sandeep P. Chinchali, Ufuk Topcu:
Differentially Private Timeseries Forecasts for Networked Control. ACC 2023: 3595-3601 - [c235]Michael Hibbard, Abolfazl Hashemi, Takashi Tanaka, Ufuk Topcu:
Randomized Greedy Algorithms for Sensor Selection in Large-Scale Satellite Constellations. ACC 2023: 4276-4283 - [c234]Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu:
Memoryless Adversaries in Imperfect Information Games. AAMAS 2023: 2379-2381 - [c233]Cevahir Köprülü, Ufuk Topcu:
Reward-Machine-Guided, Self-Paced Reinforcement Learning. AAMAS 2023: 2451-2453 - [c232]Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CAV (3) 2023: 62-85 - [c231]Steven Carr, Tichakorn Wongpiromsarn, Ufuk Topcu:
Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems *. CCTA 2023: 1115-1121 - [c230]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 - [c229]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 - [c228]Christos K. Verginis, Zhe Xu, Ufuk Topcu:
Non-Parametric Neuro-Adaptive Control. ECC 2023: 1-6 - [c227]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 - [c226]Cyrus Neary, Ufuk Topcu:
Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks. L4DC 2023: 679-691 - [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] - [i188]Franck Djeumou, Christian Ellis, Murat Cubuktepe, Craig Lennon, Ufuk Topcu:
Task-Guided IRL in POMDPs that Scales. CoRR abs/2301.01219 (2023) - [i187]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) - [i186]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) - [i185]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) - [i184]Mustafa O. Karabag, Ufuk Topcu:
On the Sample Complexity of Vanilla Model-Based Offline Reinforcement Learning with Dependent Samples. CoRR abs/2303.04268 (2023) - [i183]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) - [i182]Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. CoRR abs/2305.01473 (2023) - [i181]Qinshuang Wei, Yue Yu, Ufuk Topcu:
Dynamic Routing in Stochastic Urban Air Mobility Networks: A Markov Decision Process Approach. CoRR abs/2305.07110 (2023) - [i180]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) - [i179]Cevahir Köprülü, Ufuk Topcu:
Reward-Machine-Guided, Self-Paced Reinforcement Learning. CoRR abs/2305.16505 (2023) - [i178]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) - [i177]Qinshuang Wei, Zhenyu Gao, John-Paul Clarke, Ufuk Topcu:
Risk-aware Urban Air Mobility Network Design with Overflow Redundancy. CoRR abs/2306.05581 (2023) - [i176]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) - [i175]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) - [i174]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) - [i173]Yunhao Yang, Cyrus Neary, Ufuk Topcu:
Multimodal Pretrained Models for Sequential Decision-Making: Synthesis, Verification, Grounding, and Perception. CoRR abs/2308.05295 (2023) - [i172]Yue Yu, Jacob Levy, Negar Mehr, David Fridovich-Keil, Ufuk Topcu:
Active Inverse Learning in Stackelberg Trajectory Games. CoRR abs/2308.08017 (2023) - [i171]Apurva Patil, Mustafa O. Karabag, Takashi Tanaka, Ufuk Topcu:
Simulator-Driven Deceptive Control via Path Integral Approach. CoRR abs/2308.14092 (2023) - [i170]Cyrus Neary, Aryaman Singh Samyal, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu:
Verifiable Reinforcement Learning Systems via Compositionality. CoRR abs/2309.06420 (2023) - [i169]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) - [i168]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) - [i167]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) - [i166]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) - [i165]Parham Gohari, Matthew T. Hale, Ufuk Topcu:
Privacy-Engineered Value Decomposition Networks for Cooperative Multi-Agent Reinforcement Learning. CoRR abs/2311.06255 (2023) - [i164]David Jensen, Brian LaMacchia, Ufuk Topcu, Pamela Wisniewski:
Algorithmic Robustness. CoRR abs/2311.06275 (2023) - [i163]Yigit Ege Bayiz, Ufuk Topcu:
Prebunking Design as a Defense Mechanism Against Misinformation Propagation on Social Networks. CoRR abs/2311.14200 (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: