Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ufuk Topcu

> Home > Persons

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

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j80]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/VerginisKCT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/VerginisKCT24
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)
[j79]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/KarabagOT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/KarabagOT24
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu:
Identity concealment games: How I learned to stop revealing and love the coincidences. Autom. 161: 111482 (2024)
[j78]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/ImYFT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/ImYFT24
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)
[j77]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/DuanXYT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/DuanXYT24
Xiaoming Duan, Zhe Xu, Rui Yan, Ufuk Topcu:
Privacy-Utility Tradeoffs Against Limited Adversaries. IEEE Trans. Autom. Control. 69(1): 519-526 (2024)
[j76]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/LaufferGHST24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/LaufferGHST24
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)
2023
[j75]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/XuZBWPDT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/XuZBWPDT23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/DjeumouECLT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/DjeumouECLT23
Franck Djeumou, Christian Ellis, Murat Cubuktepe, Craig Lennon, Ufuk Topcu:
Task-guided IRL in POMDPs that scales. Artif. Intell. 317: 103856 (2023)
[j73]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/SunBXTD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/SunBXTD23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/HibbardTT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/HibbardTT23
Michael Hibbard, Takashi Tanaka, Ufuk Topcu:
Simultaneous perception-action design via invariant finite belief sets. Autom. 155: 111140 (2023)
[j71]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/BakirtzisCDT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/BakirtzisCDT23
Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu:
Dynamic Certification for Autonomous Systems. Commun. ACM 66(9): 64-72 (2023)
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/YuEAT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/YuEAT23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/YuSFT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/YuSFT23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ftsys/WongpiromsarnGCBCKNGT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ftsys/WongpiromsarnGCBCKNGT23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/popets/YangGT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/popets/YangGT23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/WuCDXT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/WuCDXT23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/ThangedaOT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/ThangedaOT23
Pranay Thangeda, Melkior Ornik, Ufuk Topcu:
Expedited Online Learning With Spatial Side Information. IEEE Trans. Autom. Control. 68(3): 1479-1491 (2023)
[j64]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/DjeumouXCT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/DjeumouXCT23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/VinodIT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/VinodIT23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/KarabagOT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/KarabagOT23
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu:
Exploiting Partial Observability for Optimal Deception. IEEE Trans. Autom. Control. 68(7): 4443-4450 (2023)
[j61]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tac/BlahoudekNOTT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/BlahoudekNOTT23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/DjeumouVGPT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/DjeumouVGPT23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcns/YuWMT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcns/YuWMT23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/trob/HibbardVQT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/trob/HibbardVQT23
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)
2022
[j57]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/YuETA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/YuETA22
Yue Yu, Purnanand Elango, Ufuk Topcu, Behçet Açikmese:
Proportional-integral projected gradient method for conic optimization. Autom. 142: 110359 (2022)
[j56]
- view
  authority control:
- export record
  dblp key:
  - journals/ijrr/ZhaoLSTL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijrr/ZhaoLSTL22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/GaglioneNRTX22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/GaglioneNRTX22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ras/BharadwajDQT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ras/BharadwajDQT22
Suda Bharadwaj, Rayna Dimitrova, Jesse Quattrociocchi, Ufuk Topcu:
Synthesis of strategies for autonomous surveillance on adversarial targets. Robotics Auton. Syst. 153: 104084 (2022)
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/siamjo/VinodIT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamjo/VinodIT22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sigpro/SavasNKBTS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigpro/SavasNKBTS22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/BadingsCJJKT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BadingsCJJKT22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/KarabagOT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/KarabagOT22
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu:
Deception in Supervisory Control. IEEE Trans. Autom. Control. 67(2): 738-753 (2022)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/WuCBXT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/WuCBXT22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/WenT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/WenT22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/SavasGT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/SavasGT22
Yagiz Savas, Vijay Gupta, Ufuk Topcu:
On the Complexity of Sequential Incentive Design. IEEE Trans. Autom. Control. 67(11): 5809-5824 (2022)
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/CubuktepeJJKT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/CubuktepeJJKT22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/SavasHWTT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/SavasHWTT22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcns/CubuktepeBT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcns/CubuktepeBT22
Murat Cubuktepe, Frantisek Blahoudek, Ufuk Topcu:
Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning. IEEE Trans. Control. Netw. Syst. 9(3): 1327-1338 (2022)
2021
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/PoonawalaLT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/PoonawalaLT21
Hasan A. Poonawala, Niklas T. Lauffer, Ufuk Topcu:
Training classifiers for feedback control with safety in mind. Autom. 128: 109509 (2021)
[j42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/Carr0T21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/Carr0T21
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]
- view
  - electronic edition @ jmlr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/jmlr/OrnikT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jmlr/OrnikT21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/HashemiGVT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/HashemiGVT21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/WintererJWJTKB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/WintererJWJTKB21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/WenT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/WenT21
Min Wen, Ufuk Topcu:
Constrained Cross-Entropy Method for Safe Reinforcement Learning. IEEE Trans. Autom. Control. 66(7): 3123-3137 (2021)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/CubuktepeJAT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/CubuktepeJAT21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/AhmadiJWT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/AhmadiJWT21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcns/BharadwajCNT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcns/BharadwajCNT21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcns/RajuBDT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcns/RajuBDT21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcns/CubuktepeXT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcns/CubuktepeXT21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tifs/GohariWHHT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tifs/GohariWHHT21
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)
2020
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/DimitrovaGT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/DimitrovaGT20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/SavasOCKT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/SavasOCKT20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/OrnikCIT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/OrnikCIT20
Melkior Ornik, Steven Carr, Arie Israel, Ufuk Topcu:
Control-Oriented Learning on the Fly. IEEE Trans. Autom. Control. 65(11): 4800-4807 (2020)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/AhmadiIT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/AhmadiIT20
Mohamadreza Ahmadi, Arie Israel, Ufuk Topcu:
Safe Controller Synthesis for Data-Driven Differential Inclusions. IEEE Trans. Autom. Control. 65(11): 4934-4940 (2020)
2018
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/AlurMT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AlurMT18
Rajeev Alur, Salar Moarref, Ufuk Topcu:
Compositional and symbolic synthesis of reactive controllers for multi-agent systems. Inf. Comput. 261: 616-633 (2018)
2017
[j26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/KonighoferABHKT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KonighoferABHKT17
Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura R. Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang:
Shield synthesis. Formal Methods Syst. Des. 51(2): 332-361 (2017)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/HanTP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/HanTP17
Shuo Han, Ufuk Topcu, George J. Pappas:
Differentially Private Distributed Constrained Optimization. IEEE Trans. Autom. Control. 62(1): 50-64 (2017)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/MaGT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/MaGT17
Wann-Jiun Ma, Vijay Gupta, Ufuk Topcu:
Distributed Charging Control of Electric Vehicles Using Online Learning. IEEE Trans. Autom. Control. 62(10): 5289-5295 (2017)
2016
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/cnsns/MeaseTAM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cnsns/MeaseTAM16
Kenneth D. Mease, Ufuk Topcu, Erkut Aykutlug, Marco Maggia:
Characterizing two-timescale nonlinear dynamics using finite-time Lyapunov exponents and subspaces. Commun. Nonlinear Sci. Numer. Simul. 36: 148-174 (2016)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/jota/AykutlugTM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jota/AykutlugTM16
Erkut Aykutlug, Ufuk Topcu, Kenneth D. Mease:
Manifold-Following Approximate Solution of Completely Hypersensitive Optimal Control Problems. J. Optim. Theory Appl. 170(1): 220-242 (2016)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/WongpiromsarnTL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/WongpiromsarnTL16
Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew G. Lamperski:
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems. IEEE Trans. Autom. Control. 61(11): 3344-3355 (2016)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/FuT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/FuT16
Jie Fu, Ufuk Topcu:
Synthesis of Joint Control and Active Sensing Strategies Under Temporal Logic Constraints. IEEE Trans. Autom. Control. 61(11): 3464-3476 (2016)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/tase/FuT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tase/FuT16
Jie Fu, Ufuk Topcu:
Synthesis of Shared Autonomy Policies With Temporal Logic Specifications. IEEE Trans Autom. Sci. Eng. 13(1): 7-17 (2016)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tase/FengWHT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tase/FengWHT16
Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu:
Synthesis of Human-in-the-Loop Control Protocols for Autonomous Systems. IEEE Trans Autom. Sci. Eng. 13(2): 450-462 (2016)
2015
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/siamjo/HanTTOM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamjo/HanTTOM15
Shuo Han, Molei Tao, Ufuk Topcu, Houman Owhadi, Richard M. Murray:
Convex Optimal Uncertainty Quantification. SIAM J. Optim. 25(3): 1368-1387 (2015)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/GanLTL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/GanLTL15
Lingwen Gan, Na Li, Ufuk Topcu, Steven H. Low:
Exact Convex Relaxation of Optimal Power Flow in Radial Networks. IEEE Trans. Autom. Control. 60(1): 72-87 (2015)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tcns/XuTM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcns/XuTM15
Huan Xu, Ufuk Topcu, Richard M. Murray:
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution. IEEE Trans. Control. Netw. Syst. 2(2): 193-203 (2015)
2014
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jacic/RogerstenXOTM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacic/RogerstenXOTM14
Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray:
Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed. J. Aerosp. Inf. Syst. 11(10): 665-678 (2014)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/ZhaoTLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/ZhaoTLL14
Changhong Zhao, Ufuk Topcu, Na Li, Steven H. Low:
Design and Stability of Load-Side Primary Frequency Control in Power Systems. IEEE Trans. Autom. Control. 59(5): 1177-1189 (2014)
2013
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmetrics/GanWTCL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmetrics/GanWTCL13
Lingwen Gan, Adam Wierman, Ufuk Topcu, Niangjun Chen, Steven H. Low:
Real-time deferrable load control: handling the uncertainties of renewable generation. SIGMETRICS Perform. Evaluation Rev. 41(3): 77-79 (2013)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/LiuOTM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/LiuOTM13
Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray:
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications. IEEE Trans. Autom. Control. 58(7): 1771-1785 (2013)
2012
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/WongpiromsarnTM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/WongpiromsarnTM12
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray:
Receding Horizon Temporal Logic Planning. IEEE Trans. Autom. Control. 57(11): 2817-2830 (2012)
2011
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/BuziTD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/BuziTD11
Gentian Buzi, Ufuk Topcu, John C. Doyle:
Analysis of autocatalytic networks in biology. Autom. 47(6): 1123-1130 (2011)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/ram/Kress-GazitWT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ram/Kress-GazitWT11
Hadas Kress-Gazit, Tichakorn Wongpiromsarn, Ufuk Topcu:
Correct, Reactive, High-Level Robot Control. IEEE Robotics Autom. Mag. 18(3): 65-74 (2011)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/TopcuLOO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/TopcuLOO11
Ufuk Topcu, Leonard J. Lucas, Houman Owhadi, Michael Ortiz:
Rigorous uncertainty quantification without integral testing. Reliab. Eng. Syst. Saf. 96(9): 1085-1091 (2011)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tcst/MishraTT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcst/MishraTT11
Sandipan Mishra, Ufuk Topcu, Masayoshi Tomizuka:
Optimization-Based Constrained Iterative Learning Control. IEEE Trans. Control. Syst. Technol. 19(6): 1613-1621 (2011)
2010
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/TopcuPSB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/TopcuPSB10
Ufuk Topcu, Andrew K. Packard, Peter J. Seiler, Gary J. Balas:
Robust Region-of-Attraction Estimation. IEEE Trans. Autom. Control. 55(1): 137-142 (2010)
2009
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/scl/CalafioreTG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scl/CalafioreTG09
Giuseppe Carlo Calafiore, Ufuk Topcu, Laurent El Ghaoui:
Parameter estimation with expected and residual-at-risk criteria. Syst. Control. Lett. 58(1): 39-46 (2009)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/TopcuP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/TopcuP09
Ufuk Topcu, Andrew K. Packard:
Local Stability Analysis for Uncertain Nonlinear Systems. IEEE Trans. Autom. Control. 54(5): 1042-1047 (2009)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/SeilerTPB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/SeilerTPB09
Peter J. Seiler, Ufuk Topcu, Andrew K. Packard, Gary J. Balas:
Parameter-Dependent Lyapunov Functions for Linear Systems With Constant Uncertainties. IEEE Trans. Autom. Control. 54(10): 2410-2416 (2009)
2008
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/TopcuPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/TopcuPS08
Ufuk Topcu, Andrew K. Packard, Peter J. Seiler:
Local stability analysis using simulations and sum-of-squares programming. Autom. 44(10): 2669-2675 (2008)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c251]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/YangNT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/YangNT24
Yunhao Yang, Cyrus Neary, Ufuk Topcu:
Multimodal Pretrained Models for Verifiable Sequential Decision-Making: Planning, Grounding, and Perception. AAMAS 2024: 2011-2019
[c250]
- view
  - electronic edition @ mlsys.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/mlsys/YangBIWCWT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mlsys/YangBIWCWT24
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
2023
[c249]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/0002GBN0T23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/0002GBN0T23
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/KarabagT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KarabagT23
Mustafa O. Karabag, Ufuk Topcu:
On the Sample Complexity of Vanilla Model-Based Offline Reinforcement Learning with Dependent Samples. AAAI 2023: 8195-8202
[c247]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Carr0JT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Carr0JT23
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu:
Safe Reinforcement Learning via Shielding under Partial Observability. AAAI 2023: 14748-14756
[c246]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/00040CT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/00040CT23
Yue Yu, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu:
Poisoning Attacks Against Data-Driven Predictive Control. ACC 2023: 545-550
[c245]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/0004CFT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/0004CFT23
Yue Yu, Shenghui Chen, David Fridovich-Keil, Ufuk Topcu:
Cost Design in Atomic Routing Games. ACC 2023: 1704-1709
[c244]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/LiCT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/LiCT23
Po-han Li, Sandeep P. Chinchali, Ufuk Topcu:
Differentially Private Timeseries Forecasts for Networked Control. ACC 2023: 3595-3601
[c243]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/HibbardHTT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/HibbardHTT23
Michael Hibbard, Abolfazl Hashemi, Takashi Tanaka, Ufuk Topcu:
Randomized Greedy Algorithms for Sensor Selection in Large-Scale Satellite Constellations. ACC 2023: 4276-4283
[c242]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/RajuBT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/RajuBT23
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu:
Memoryless Adversaries in Imperfect Information Games. AAMAS 2023: 2379-2381
[c241]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/KopruluT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/KopruluT23
Cevahir Köprülü, Ufuk Topcu:
Reward-Machine-Guided, Self-Paced Reinforcement Learning. AAMAS 2023: 2451-2453
[c240]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BadingsJMTJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BadingsJMTJ23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ccta/CarrWT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccta/CarrWT23
Steven Carr, Tichakorn Wongpiromsarn, Ufuk Topcu:
Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems ^*. CCTA 2023: 1115-1121
[c238]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/PatilKTT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/PatilKTT23
Apurva Patil, Mustafa O. Karabag, Takashi Tanaka, Ufuk Topcu:
Simulator-Driven Deceptive Control via Path Integral Approach. CDC 2023: 271-277
[c237]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/Chen0FT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/Chen0FT23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/FallinHCGBTH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/FallinHCGBTH23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/SmithNT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/SmithNT23
Sophia Smith, Cyrus Neary, Ufuk Topcu:
Automatic Decomposition of Reward Machines for Decentralized Multiagent Reinforcement Learning. CDC 2023: 5423-5430
[c234]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/IngebrandST23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/IngebrandST23
Tyler Ingebrand, Sophia Smith, Ufuk Topcu:
Decentralized Conflict Resolution for Multi-Agent Reinforcement Learning Through Shared Scheduling Protocols. CDC 2023: 7170-7177
[c233]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/GohariHT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/GohariHT23
Parham Gohari, Matthew T. Hale, Ufuk Topcu:
Privacy-Engineered Value Decomposition Networks for Cooperative Multi-Agent Reinforcement Learning. CDC 2023: 8038-8044
[c232]
- view
  authority control:
- export record
  dblp key:
  - conf/cdmake/PaliwalRGBNDTX23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdmake/PaliwalRGBNDTX23
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]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/corl/DjeumouNT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/corl/DjeumouNT23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/HuGW0TL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/HuGW0TL23
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]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/eucc/Verginis0T23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eucc/Verginis0T23
Christos K. Verginis, Zhe Xu, Ufuk Topcu:
Non-Parametric Neuro-Adaptive Control. ECC 2023: 1-6
[c228]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/DjeumouGTB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/DjeumouGTB23
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]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/l4dc/NearyT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/l4dc/NearyT23
Cyrus Neary, Ufuk Topcu:
Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks. L4DC 2023: 679-691
[c226]
- view
  - electronic edition @ nips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/LiAZMMTCK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/LiAZMMTCK23
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]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/ChenHKNHT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/ChenHKNHT23
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]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/KopruluT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/KopruluT23
Cevahir Köprülü, Ufuk Topcu:
Reward-machine-guided, self-paced reinforcement learning. UAI 2023: 1121-1131
[c223]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/KopruluS0T23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/KopruluS0T23
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
2022
[c222]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/SavasVT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SavasVT22
Yagiz Savas, Christos K. Verginis, Ufuk Topcu:
Deceptive Decision-Making under Uncertainty. AAAI 2022: 5332-5340
[c221]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/DjeumouCLT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/DjeumouCLT22
Franck Djeumou, Murat Cubuktepe, Craig Lennon, Ufuk Topcu:
Task-Guided Inverse Reinforcement Learning under Partial Information. ICAPS 2022: 53-61
[c220]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/NearyVCT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/NearyVCT22
Cyrus Neary, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu:
Verifiable and Compositional Reinforcement Learning Systems. ICAPS 2022: 615-623
[c219]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aistats/AcharyaH0SDT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aistats/AcharyaH0SDT22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/BayizT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/BayizT22
Yigit E. Bayiz, Ufuk Topcu:
Decentralized Online Influence Maximization. Allerton 2022: 1-8
[c217]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/KarabagFT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/KarabagFT22
Mustafa O. Karabag, David Fridovich-Keil, Ufuk Topcu:
Alternating Direction Method of Multipliers for Decomposable Saddle-Point Problems. Allerton 2022: 1-8
[c216]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/LiTC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/LiTC22
Po-han Li, Ufuk Topcu, Sandeep P. Chinchali:
Adversarial Examples for Model-Based Control: A Sensitivity Analysis. Allerton 2022: 1-7
[c215]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/GohariDVT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/GohariDVT22
Parham Gohari, Franck Djeumou, Abraham P. Vinod, Ufuk Topcu:
Blending Controllers via Multi-Objective Bandits. ACC 2022: 88-95
[c214]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/HibbardTH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/HibbardTH22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/KarabagNT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/KarabagNT22
Mustafa O. Karabag, Cyrus Neary, Ufuk Topcu:
Planning Not to Talk: Multiagent Systems that are Robust to Communication Loss. AAMAS 2022: 705-713
[c212]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/Verginis0T22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Verginis0T22
Christos K. Verginis, Zhe Xu, Ufuk Topcu:
Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems. AAMAS 2022: 1747-1749
[c211]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/BakirtzisT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/BakirtzisT22
Georgios Bakirtzis, Ufuk Topcu:
AlgebraicSystems: Compositional Verification for Autonomous System Design. ICCPS 2022: 308-309
[c210]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/DjeumouNGPT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/DjeumouNGPT22
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]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/l4dc/DjeumouNGPT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/l4dc/DjeumouNGPT22
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]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/l4dc/DjeumouT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/l4dc/DjeumouT22
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]
- view
  - electronic edition @ nips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/You0LDCTSD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/You0LDCTSD22
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]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/DasAHSDT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/DasAHSDT22
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
2021
[c205]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/KarabagNT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KarabagNT21
Mustafa O. Karabag, Cyrus Neary, Ufuk Topcu:
Smooth Convex Optimization Using Sub-Zeroth-Order Oracles. AAAI 2021: 3815-3822
[c204]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/00050T21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/00050T21
Zhe Xu, Yuxin Chen, Ufuk Topcu:
Adaptive Teaching of Temporal Logic Formulas to Preference-based Learners. AAAI 2021: 5061-5068
[c203]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/JiangB0STS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/JiangB0STS21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/NeiderGGT0021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/NeiderGGT0021
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Cubuktepe0JMST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Cubuktepe0JMST21
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu:
Robust Finite-State Controllers for Uncertain POMDPs. AAAI 2021: 11792-11800
[c200]
- view
  authority control:
- export record
  dblp key:
  - conf/acssc/NooraniSKBTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acssc/NooraniSKBTS21
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]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/GhasemiCZT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/GhasemiCZT21
Mahsa Ghasemi, Evan Scope Crafts, Bo Zhao, Ufuk Topcu:
Multiple Plans are Better than One: Diverse Stochastic Planning. ICAPS 2021: 140-148
[c198]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aistats/WenBT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aistats/WenBT21
Min Wen, Osbert Bastani, Ufuk Topcu:
Algorithms for Fairness in Sequential Decision Making. AISTATS 2021: 1144-1152
[c197]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/GhasemiHVT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/GhasemiHVT21
Mahsa Ghasemi, Abolfazl Hashemi, Haris Vikalo, Ufuk Topcu:
Online Learning with Implicit Exploration in Episodic Markov Decision Processes. ACC 2021: 1953-1958
[c196]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/DjeumouVGPT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/DjeumouVGPT21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/WongpiromsarnSF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/WongpiromsarnSF21
Tichakorn Wongpiromsarn, Konstantin Slutsky, Emilio Frazzoli, Ufuk Topcu:
Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations. ACC 2021: 4866-4872
[c194]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/Elsayed-AlyBAET21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Elsayed-AlyBAET21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/Neary00T21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Neary00T21
Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu:
Reward Machines for Cooperative Multi-Agent Reinforcement Learning. AAMAS 2021: 934-942
[c192]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/GaglioneNRTX21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/GaglioneNRTX21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/VerginisDT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/VerginisDT21
Christos K. Verginis, Franck Djeumou, Ufuk Topcu:
Learning-Based, Safety-Constrained Control from Scarce Data via Reciprocal Barriers. CDC 2021: 83-89
[c190]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/FotiadisVVT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/FotiadisVVT21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/KanellopoulosFS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/KanellopoulosFS21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/HeGTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/HeGTS21
Binghan He, Mahsa Ghasemi, Ufuk Topcu, Luis Sentis:
A Barrier Pair Method for Safe Human-Robot Shared Autonomy. CDC 2021: 2854-2861
[c187]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/0004TWTMA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/0004TWTMA21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdmake/XuWONT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdmake/XuWONT21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/BlahoudekCNOTT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BlahoudekCNOTT21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/Djeumou0T21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/Djeumou0T21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icassp/SavasHVST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icassp/SavasHVST21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/WangXNUSBTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/WangXNUSBTS21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/MemarianGLNT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/MemarianGLNT21
Farzan Memarian, Wonjoon Goo, Rudolf Lioutikov, Scott Niekum, Ufuk Topcu:
Self-Supervised Online Reward Shaping in Sparse-Reward Environments. IROS 2021: 2369-2375
[c180]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/CarrQBSPYB0T21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/CarrQBSPYB0T21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BharadwajWNMT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BharadwajWNMT21
Suda Bharadwaj, Tichakorn Wongpiromsarn, Natasha A. Neogi, Joseph Muffoletto, Ufuk Topcu:
Minimum-Violation Traffic Management for Urban Air Mobility. NFM 2021: 37-52
[c178]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/Carr0BST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/Carr0BST21
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]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/GhasemiHVT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/GhasemiHVT21
Mahsa Ghasemi, Abolfazl Hashemi, Haris Vikalo, Ufuk Topcu:
No-regret learning with high-probability in adversarial Markov decision processes. UAI 2021: 992-1001
[c176]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/BaharisangariGN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/BaharisangariGN21
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu:
Uncertainty-Aware Signal Temporal Logic Inference. VSTTE 2021: 61-85
[c175]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-08316
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-08316
Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu:
Adapting to the Behavior of Environments with Bounded Memory. GandALF 2021: 52-66
2020
[c174]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aips/0005GAMNT020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/0005GAMNT020
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]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/GhasemiHVT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/GhasemiHVT20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/Gohari0HT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/Gohari0HT20
Parham Gohari, Bo Wu, Matthew T. Hale, Ufuk Topcu:
The Dirichlet Mechanism for Differential Privacy on the Unit Simplex. ACC 2020: 1253-1258
[c171]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/0005CB0T20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/0005CB0T20
Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu:
Resilient Distributed Hypothesis Testing with Time-Varying Network Topology. ACC 2020: 1483-1488
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/VinodIT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/VinodIT20
Abraham P. Vinod, Arie Israel, Ufuk Topcu:
Convexified contextual optimization for on-the-fly control of smooth systems. ACC 2020: 2004-2011
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/0005YHT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/0005YHT20
Zhe Xu, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu:
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. ACC 2020: 4745-4750
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/Cubuktepe0T20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Cubuktepe0T20
Murat Cubuktepe, Zhe Xu, Ufuk Topcu:
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. AAMAS 2020: 267-275
[c167]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BlahoudekB0OTT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BlahoudekB0OTT20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/HeLTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/HeLTS20
Binghan He, Jaemin Lee, Ufuk Topcu, Luis Sentis:
BP-RRT: Barrier Pair Synthesis for Temporal Logic Motion Planning. CDC 2020: 1404-1409
[c165]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CubuktepeTT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CubuktepeTT20
Murat Cubuktepe, Takashi Tanaka, Ufuk Topcu:
Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization. CDC 2020: 1750-1757
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/Memarian00WT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/Memarian00WT20
Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu:
Active Task-Inference-Guided Deep Inverse Reinforcement Learning. CDC 2020: 1932-1938
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/GohariHT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/GohariHT20
Parham Gohari, Matthew T. Hale, Ufuk Topcu:
Privacy-Preserving Policy Synthesis in Markov Decision Processes. CDC 2020: 6266-6271
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/cocoa/RajuLT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cocoa/RajuLT20
Dhananjay Raju, Niklas T. Lauffer, Ufuk Topcu:
Reachability Games for Optimal Multi-agent Scheduling of Tasks with Variable Durations. COCOA 2020: 151-167
[c161]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icml/GhasemiBT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/GhasemiBT20
Mahsa Ghasemi, Erdem Bulgur, Ufuk Topcu:
Task-Oriented Active Perception and Planning in Environments with Partially Known Semantics. ICML 2020: 3484-3493
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/BharadwajVDT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/BharadwajVDT20
Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu:
Near-Optimal Reactive Synthesis Incorporating Runtime Information. ICRA 2020: 10342-10348
[c159]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Suilen0CT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Suilen0CT20
Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. IJCAI 2020: 4113-4120
[c158]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/CarrJT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CarrJT20
Steven Carr, Nils Jansen, Ufuk Topcu:
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. IJCAI 2020: 4121-4127
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/Djeumou0T20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/Djeumou0T20
Franck Djeumou, Zhe Xu, Ufuk Topcu:
Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications. Robotics: Science and Systems 2020
[c156]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/Cubuktepe0JKT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Cubuktepe0JKT20
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain MDPs. TACAS (1) 2020: 287-305
2019
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/0005Z0DT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/0005Z0DT19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/BharadwajBDKT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/BharadwajBDKT19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/OrnikCIT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/OrnikCIT19
Melkior Ornik, Steven Carr, Arie Israel, Ufuk Topcu:
Myopic Control of Systems with Unknown Dynamics. ACC 2019: 1064-1071
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/0005ABT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/0005ABT19
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu:
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. ACC 2019: 1216-1223
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/KarabagOT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/KarabagOT19
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu:
Least Inferable Policies for Markov Decision Processes. ACC 2019: 1224-1231
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/0005OJT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/0005OJT19
Zhe Xu, Melkior Ornik, A. Agung Julius, Ufuk Topcu:
Information-Guided Temporal Logic Inference with Prior Knowledge. ACC 2019: 1891-1897
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/Ahmadi00YT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/Ahmadi00YT19
Mohamadreza Ahmadi, Bo Wu, Yuxin Chen, Yisong Yue, Ufuk Topcu:
Barrier Certificates for Assured Machine Teaching. ACC 2019: 3658-3663
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/GhasemiHTV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/GhasemiHTV19
Mahsa Ghasemi, Abolfazl Hashemi, Ufuk Topcu, Haris Vikalo:
On Submodularity of Quadratic Observation Selection in Constrained Networked Sensing Systems. ACC 2019: 4671-4676
[c147]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/PoonawalaLT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/PoonawalaLT19
Hasan A. Poonawala, Niklas T. Lauffer, Ufuk Topcu:
Training Classifiers For Feedback Control. ACC 2019: 4961-4967
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/ccta/GeT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccta/GeT19
Dantong Ge, Ufuk Topcu:
Hierarchical Path Planning for Urban On-Demand Air Mobility. CCTA 2019: 894-899
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/KarabagOT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/KarabagOT19
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu:
Optimal Deceptive and Reference Policies for Supervisory Control. CDC 2019: 1323-1330
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/Savas0ORT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/Savas0ORT19
Yagiz Savas, Vijay Gupta, Melkior Ornik, Lillian J. Ratliff, Ufuk Topcu:
Incentive Design for Temporal Logic Objectives. CDC 2019: 2251-2258
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/0005CBT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/0005CBT19
Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu:
Reward-Based Deception with Cognitive Bias. CDC 2019: 2265-2270
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/HibbardS0TT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/HibbardS0TT19
Michael Hibbard, Yagiz Savas, Bo Wu, Takashi Tanaka, Ufuk Topcu:
Unpredictable Planning Under Partial Observability. CDC 2019: 2271-2277
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/0005CT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/0005CT19
Bo Wu, Murat Cubuktepe, Ufuk Topcu:
Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis. CDC 2019: 2509-2516
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/0005NJT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/0005NJT19
Zhe Xu, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu:
Graph Temporal Logic Inference for Classification and Identification. CDC 2019: 4761-4768
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/SavasATT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/SavasATT19
Yagiz Savas, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu:
Entropy-Regularized Stochastic Games. CDC 2019: 5955-5962
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/GhasemiT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/GhasemiT19
Mahsa Ghasemi, Ufuk Topcu:
Online Active Perception for Partially Observable Markov Decision Processes with Limited Budget. CDC 2019: 6169-6174
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/BharadwajL0TT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/BharadwajL0TT19
Suda Bharadwaj, Louis Ly, Bo Wu, Richard Tsai, Ufuk Topcu:
Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization. CDC 2019: 6275-6281
[c136]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icml/HashemiGVT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/HashemiGVT19
Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo, Ufuk Topcu:
Submodular Observation Selection and Information Gathering for Quadratic Models. ICML 2019: 2653-2662
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/icmla/TanJNCYTS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmla/TanJNCYTS19
Yingshui Tan, Baihong Jin, Alexander J. Nettekoven, Yuxin Chen, Yisong Yue, Ufuk Topcu, Alberto L. Sangiovanni-Vincentelli:
An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing. ICMLA 2019: 1008-1015
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/ElliottAHPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/ElliottAHPT19
Trevor Elliott, Mohammed Alshiekh, Laura R. Humphrey, Lee Pike, Ufuk Topcu:
Salty-A Domain Specific Language for GR(1) Specifications and Designs. ICRA 2019: 4545-4551
[c133]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/GhasemiT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GhasemiT19
Mahsa Ghasemi, Ufuk Topcu:
Perception-Aware Point-Based Value Iteration for Partially Observable Markov Decision Processes. IJCAI 2019: 2371-2377
[c132]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/0005T19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/0005T19
Zhe Xu, Ufuk Topcu:
Transfer of Temporal Logic Formulas in Reinforcement Learning. IJCAI 2019: 4010-4018
[c131]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/Carr0WS0T19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Carr0WS0T19
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu:
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. IJCAI 2019: 5532-5539
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/SchlossmanKTS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/SchlossmanKTS19
Rachel Schlossman, Minkyu Kim, Ufuk Topcu, Luis Sentis:
Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions. IROS 2019: 7770-7776
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BharadwajCNPCT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BharadwajCNPCT19
Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu:
Traffic Management for Urban Air Mobility. NFM 2019: 71-87
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/0001HTT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/0001HTT19
Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu:
Structured Synthesis for Probabilistic Systems. NFM 2019: 237-254
2018
[c127]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AlshiekhBEKNT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AlshiekhBEKNT18
Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu:
Safe Reinforcement Learning via Shielding. AAAI 2018: 2669-2678
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/CubuktepeATH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/CubuktepeATH18
Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu, Brandon Hencey:
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets. ADHS 2018: 115-120
[c125]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/ChatterjeeCT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/ChatterjeeCT18
Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu:
Sensor Synthesis for POMDPs with Reachability Objectives. ICAPS 2018: 47-55
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/AhmadiC0T18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/AhmadiC0T18
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu:
Verification of Uncertain POMDPs Using Barrier Certificates. Allerton 2018: 115-122
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/AhmadiBTT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/AhmadiBTT18
Mohamadreza Ahmadi, Suda Bharadwaj, Takashi Tanaka, Ufuk Topcu:
Stochastic Games with Sensing Costs. Allerton 2018: 275-282
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/BucicOT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/BucicOT18
Matija Bucic, Melkior Ornik, Ufuk Topcu:
Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems. Allerton 2018: 297-304
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/OrnikT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/OrnikT18
Melkior Ornik, Ufuk Topcu:
Deception in Optimal Control. Allerton 2018: 821-828
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/SavasOCT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/SavasOCT18
Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu:
Entropy Maximization for Constrained Markov Decision Processes. Allerton 2018: 911-918
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/AhmadiTR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/AhmadiTR18
Mohamadreza Ahmadi, Ufuk Topcu, Clarence W. Rowley:
Control-Oriented Learning of Lagrangian and Hamiltonian Systems. ACC 2018: 520-525
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/Carr0WFT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/Carr0WFT18
Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu:
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. ACC 2018: 762-769
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/PapushaWT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/PapushaWT18
Ivan Papusha, Min Wen, Ufuk Topcu:
Inverse Optimal Control with Regular Language Specifications. ACC 2018: 770-777
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/HashemiGVT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/HashemiGVT18
Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo, Ufuk Topcu:
A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks. ACC 2018: 1027-1032
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/CubuktepeT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/CubuktepeT18
Murat Cubuktepe, Ufuk Topcu:
Verification of Markov Decision Processes with Risk-Sensitive Measures. ACC 2018: 2371-2377
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/QuindlenTCH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/QuindlenTCH18
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How:
Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties. ACC 2018: 5460-5466
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/AhmadiCTT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/AhmadiCTT18
Mohamadreza Ahmadi, Murat Cubuktepe, Ufuk Topcu, Takashi Tanaka:
Distributed Synthesis Using Accelerated ADMM. ACC 2018: 6206-6211
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/QuindlenTCH18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/QuindlenTCH18a
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How:
Active Sampling for Closed-Loop Statistical Verification of Uncertain Nonlinear Systems. ACC 2018: 6259-6265
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/CubuktepeJJKT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/CubuktepeJJKT18
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Synthesis in pMDPs: A Tale of 1001 Parameters. ATVA 2018: 160-176
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/DimitrovaGT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/DimitrovaGT18
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu:
Maximum Realizability for Linear Temporal Logic Specifications. ATVA 2018: 458-475
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/OrnikFLPAOT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/OrnikFLPAOT18
Melkior Ornik, Jie Fu, Niklas T. Lauffer, W. K. Perera, Mohammed Alshiekh, Masahiro Ono, Ufuk Topcu:
Expedited Learning in MDPs with Side Information. CDC 2018: 1941-1948
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/BharadwajDT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/BharadwajDT18
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu:
Distributed Synthesis of Surveillance Strategies for Mobile Sensors. CDC 2018: 3335-3342
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/BharadwajDT18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/BharadwajDT18a
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu:
Synthesis of Surveillance Strategies via Belief Abstraction. CDC 2018: 4159-4166
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/BharadwajATT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/BharadwajATT18
Suda Bharadwaj, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu:
Transfer Entropy in MDPs with Temporal Logic Specifications. CDC 2018: 4173-4180
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/Ahmadi00T18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/Ahmadi00T18
Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu:
Privacy Verification in POMDPs via Barrier Certificates. CDC 2018: 5610-5615
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/FengGCT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/FengGCT18
Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu:
Counterexamples for Robotic Planning Explained in Structured Language. ICRA 2018: 7292-7297
[c103]
- view
  - electronic edition via handle.net
  - no references & citations available
- export record
  dblp key:
  - conf/mbmv/WintererJWJTKB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/WintererJWJTKB18
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. MBMV 2018
[c102]
- view
- export record
  dblp key:
  - conf/nips/WenT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/WenT18
Min Wen, Ufuk Topcu:
Constrained Cross-Entropy Method for Safe Reinforcement Learning. NeurIPS 2018: 7461-7471
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/Junges0KTZH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/Junges0KTZH18
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe:
Model Checking for Safe Navigation Among Humans. QEST 2018: 207-222
2017
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/0001CT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/0001CT17
Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Synthesis of shared control protocols with provable safety and performance guarantees. ACC 2017: 1866-1873
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/HanTP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/HanTP17
Shuo Han, Ufuk Topcu, George J. Pappas:
Quantification on the efficiency gain of automated ridesharing services. ACC 2017: 3560-3566
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/WintererJW0TK017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/WintererJW0TK017
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Motion planning under partial observability using game-based abstraction. CDC 2017: 2201-2208
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/PoonawalaT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/PoonawalaT17
Hasan A. Poonawala, Ufuk Topcu:
Robustness of classifier-in-the-loop control systems: A hybrid-systems approach. CDC 2017: 2738-2743
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/AhmadiIT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/AhmadiIT17
Mohamadreza Ahmadi, Arie Israel, Ufuk Topcu:
Safety assessemt based on physically-viable data-driven models. CDC 2017: 6409-6414
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/FuPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/FuPT17
Jie Fu, Ivan Papusha, Ufuk Topcu:
Sampling-based Approximate Optimal Control Under Temporal Logic Constraints. HSCC 2017: 227-235
[c94]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/WenPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/WenPT17
Min Wen, Ivan Papusha, Ufuk Topcu:
Learning from Demonstrations with High-Level Side Information. IJCAI 2017: 3055-3061
[c93]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BharadwajRPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BharadwajRPT17
Suda Bharadwaj, Stéphane Le Roux, Guillermo A. Pérez, Ufuk Topcu:
Reduction Techniques for Model Checking and Learning in MDPs. IJCAI 2017: 4273-4279
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/PoonawalaANT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/PoonawalaANT17
Hasan A. Poonawala, Mohammed Alshiekh, Scott Niekum, Ufuk Topcu:
Classification error correction: A case study in brain-computer interfacing. IROS 2017: 3006-3012
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Cubuktepe0JKPPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Cubuktepe0JKPPT17
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu:
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. TACAS (2) 2017: 133-150
2016
[c90]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaaifs/Junges0KT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaifs/Junges0KT16
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu:
Probabilistic Verification for Cognitive Models. AAAI Fall Symposia 2016
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/HanTP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/HanTP16
Shuo Han, Ufuk Topcu, George J. Pappas:
Event-based information-theoretic privacy: A case study of smart meters. ACC 2016: 2074-2079
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/QuindlenTCH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/QuindlenTCH16
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How:
Region-of-convergence estimation for learning-based adaptive controllers. ACC 2016: 2500-2505
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AlurMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AlurMT16
Rajeev Alur, Salar Moarref, Ufuk Topcu:
Compositional Synthesis of Reactive Controllers for Multi-agent Systems. CAV (2) 2016: 251-269
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/EhlersMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/EhlersMT16
Rüdiger Ehlers, Salar Moarref, Ufuk Topcu:
Risk-averse control of Markov decision processes with ω-regular objectives. CDC 2016: 426-433
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/PapushaFTM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/PapushaFTM16
Ivan Papusha, Jie Fu, Ufuk Topcu, Richard M. Murray:
Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints. CDC 2016: 434-440
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/PoonawalaT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/PoonawalaT16
Hasan A. Poonawala, Ufuk Topcu:
Filter-based stochastic abstractions for constrained planning with limited sensing. CDC 2016: 3319-3324
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/ZhaoTS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/ZhaoTS16
Ye Zhao, Ufuk Topcu, Luis Sentis:
High-level planner synthesis for whole-body locomotion in unstructured environments. CDC 2016: 6557-6564
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/DimitrovaFT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/DimitrovaFT16
Rayna Dimitrova, Jie Fu, Ufuk Topcu:
Robust optimal policies for Markov decision processes with safety-threshold constraints. CDC 2016: 7081-7086
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/HumphreyKKT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/HumphreyKKT16
Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu:
Synthesis of Admissible Shields. Haifa Verification Conference 2016: 134-151
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/KozarevQHT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/KozarevQHT16
Alexandar Kozarev, John F. Quindlen, Jonathan P. How, Ufuk Topcu:
Case Studies in Data-Driven Verification of Dynamical Systems. HSCC 2016: 81-86
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AlurMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AlurMT16
Rajeev Alur, Salar Moarref, Ufuk Topcu:
Compositional Synthesis with Parametric Reactive Controllers. HSCC 2016: 215-224
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/FuATP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/FuATP16
Jie Fu, Nikolay Atanasov, Ufuk Topcu, George J. Pappas:
Optimal temporal logic planning in probabilistic semantic maps. ICRA 2016: 3690-3697
[c77]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/WenT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/WenT16
Min Wen, Ufuk Topcu:
Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications. IJCAI 2016: 3630-3636
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/FengHLT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/FengHLT16
Lu Feng, Laura R. Humphrey, Insup Lee, Ufuk Topcu:
Human-interpretable diagnostic information for robotic planning systems. IROS 2016: 1673-1680
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/Junges0DTK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/Junges0DTK16
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen:
Safety-Constrained Reinforcement Learning for MDPs. TACAS 2016: 130-146
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/NeiderT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/NeiderT16
Daniel Neider, Ufuk Topcu:
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs. TACAS 2016: 204-221
2015
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/FuT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/FuT15
Jie Fu, Ufuk Topcu:
Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations. ACC 2015: 2408-2413
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/HanTP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/HanTP15
Shuo Han, Ufuk Topcu, George J. Pappas:
An approximately truthful mechanism for electric vehicle charging via joint differential privacy. ACC 2015: 2469-2475
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/GatsisTP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/GatsisTP15
Konstantinos Gatsis, Ufuk Topcu, George J. Pappas:
Value of forecasts in planning under uncertainty. ACC 2015: 5043-5049
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/HanTP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/HanTP15
Shuo Han, Ufuk Topcu, George J. Pappas:
A sublinear algorithm for barrier-certificate-based data-driven model validation of dynamical systems. CDC 2015: 2049-2054
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/FuT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/FuT15
Jie Fu, Ufuk Topcu:
Computational methods for stochastic control with metric interval temporal logic specifications. CDC 2015: 7440-7447
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/FuHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/FuHT15
Jie Fu, Shuo Han, Ufuk Topcu:
Optimal control in Markov decision processes via distributed optimization. CDC 2015: 7462-7469
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/EhlersT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/EhlersT15
Rüdiger Ehlers, Ufuk Topcu:
Estimator-based reactive synthesis under incomplete information. HSCC 2015: 249-258
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/FengWHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/FengWHT15
Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu:
Controller synthesis for autonomous systems interacting with human operators. ICCPS 2015: 70-79
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/FuT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/FuT15
Jie Fu, Ufuk Topcu:
Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints. ICRA 2015: 361-368
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/WenET15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/WenET15
Min Wen, Rüdiger Ehlers, Ufuk Topcu:
Correct-by-synthesis reinforcement learning with temporal logic constraints. IROS 2015: 4983-4990
[c63]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BassetKTW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BassetKTW15
Nicolas Basset, Marta Z. Kwiatkowska, Ufuk Topcu, Clemens Wiltsche:
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives. TACAS 2015: 256-271
[c62]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AlurMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AlurMT15
Rajeev Alur, Salar Moarref, Ufuk Topcu:
Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis. TACAS 2015: 501-516
2014
[c61]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaaiss/HumphreyWT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/HumphreyWT14
Laura R. Humphrey, Eric M. Wolff, Ufuk Topcu:
Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles. AAAI Spring Symposia 2014
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/HanTP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/HanTP14
Shuo Han, Ufuk Topcu, George J. Pappas:
Differentially private distributed protocol for electric vehicle charging. Allerton 2014: 242-249
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/FuDT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/FuDT14
Jie Fu, Rayna Dimitrova, Ufuk Topcu:
Abstractions and sensor design in partial-information, reactive controller synthesis. ACC 2014: 2297-2304
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/MaGT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/MaGT14
Wann-Jiun Ma, Vijay Gupta, Ufuk Topcu:
On distributed charging control of electric vehicles with power network capacity constraints. ACC 2014: 4306-4311
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/HanTP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/HanTP14
Shuo Han, Ufuk Topcu, George J. Pappas:
Differentially private convex optimization with piecewise affine objectives. CDC 2014: 2160-2166
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/MaGT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/MaGT14
Wann-Jiun Ma, Vijay Gupta, Ufuk Topcu:
Distributed charging control of electric vehicles using regret minimization. CDC 2014: 4917-4923
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/EhlersT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/EhlersT14
Rüdiger Ehlers, Ufuk Topcu:
Resilience to intermittent assumption violations in reactive synthesis. HSCC 2014: 203-212
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/WolffTM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/WolffTM14
Eric M. Wolff, Ufuk Topcu, Richard M. Murray:
Optimization-based trajectory generation with linear temporal logic specifications. ICRA 2014: 5319-5325
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/FuT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/FuT14
Jie Fu, Ufuk Topcu:
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints. Robotics: Science and Systems 2014
2013
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/HanTTOM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/HanTTOM13
Shuo Han, Ufuk Topcu, Molei Tao, Houman Owhadi, Richard M. Murray:
Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids. ACC 2013: 1130-1137
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/TopcuGLK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/TopcuGLK13
Ufuk Topcu, Dennice F. Gayme, Steven H. Low, Pramod P. Khargonekar:
Towards smart, flexible and efficient power systems: Vision and research challenges. ACC 2013: 5237-5244
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/LowGT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/LowGT13
Steven H. Low, Dennice F. Gayme, Ufuk Topcu:
Convexifying optimal power flow: Recent advances in OPF solution methods. ACC 2013: 5245
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/GanLTL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/GanLTL13
Lingwen Gan, Na Li, Ufuk Topcu, Steven H. Low:
Optimal power flow in tree networks. CDC 2013: 2313-2318
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/WolffTM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/WolffTM13
Eric M. Wolff, Ufuk Topcu, Richard M. Murray:
Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic. CDC 2013: 3197-3204
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/OnoTYA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/OnoTYA13
Masahiro Ono, Ufuk Topcu, Masaki Yo, Shuichi Adachi:
Risk-limiting power grid control with an ARMA-based prediction model. CDC 2013: 4949-4956
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/eenergy/GanWTCL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eenergy/GanWTCL13
Lingwen Gan, Adam Wierman, Ufuk Topcu, Niangjun Chen, Steven H. Low:
Real-time deferrable load control: handling the uncertainties of renewable generation. e-Energy 2013: 113-124
[c45]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/AlurMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/AlurMT13
Rajeev Alur, Salar Moarref, Ufuk Topcu:
Counter-strategy guided refinement of GR(1) temporal logic specifications. FMCAD 2013: 26-33
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/RogerstenXOTM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/RogerstenXOTM13
Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray:
An aircraft electric power testbed for validating automatically synthesized reactive control protocols. HSCC 2013: 89-94
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icnp/WangMLTS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icnp/WangMLTS13
Anduo Wang, Salar Moarref, Boon Thau Loo, Ufuk Topcu, Andre Scedrov:
Automated synthesis of reactive controllers for software-defined networks. ICNP 2013: 1-6
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/WolffTM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/WolffTM13
Eric M. Wolff, Ufuk Topcu, Richard M. Murray:
Efficient reactive controller synthesis for a fragment of linear temporal logic. ICRA 2013: 5033-5040
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/WolffTM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/WolffTM13
Eric M. Wolff, Ufuk Topcu, Richard M. Murray:
Automaton-guided controller synthesis for nonlinear systems with temporal logic. IROS 2013: 4332-4339
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmetrics/GanLLT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmetrics/GanLLT13
Lingwen Gan, Na Li, Steven H. Low, Ufuk Topcu:
Exact convex relaxation for optimal power flow in distribution networks. SIGMETRICS 2013: 351-352
2012
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/LiuOTM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/LiuOTM12
Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray:
Switching protocol synthesis for temporal logic specifications. ACC 2012: 727-734
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/ZhaoTL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/ZhaoTL12
Changhong Zhao, Ufuk Topcu, Steven H. Low:
Frequency-based load control in power systems. ACC 2012: 4423-4430
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/SjodinGT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/SjodinGT12
Emma Sjodin, Dennice F. Gayme, Ufuk Topcu:
Risk-mitigated optimal power flow for wind powered grids. ACC 2012: 4431-4437
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/NilssonOTM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/NilssonOTM12
Petter Nilsson, Necmiye Ozay, Ufuk Topcu, Richard M. Murray:
Temporal logic control of switched affine systems with an application in fuel balancing. ACC 2012: 5302-5309
[c35]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/apsipa/GanJLTZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsipa/GanJLTZ12
Lingwen Gan, Libin Jiang, Steven H. Low, Ufuk Topcu, Changhong Zhao:
Some problems in demand side management. APSIPA 2012: 1-6
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/GanLTL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/GanLTL12
Lingwen Gan, Na Li, Ufuk Topcu, Steven H. Low:
On the exactness of convex relaxation for optimal power flow in tree networks. CDC 2012: 465-471
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/XuTM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/XuTM12
Huan Xu, Ufuk Topcu, Richard M. Murray:
A case study on reactive protocols for aircraft electric power distribution. CDC 2012: 1124-1129
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/WolffTM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/WolffTM12
Eric M. Wolff, Ufuk Topcu, Richard M. Murray:
Robust control of uncertain Markov Decision Processes with temporal logic specifications. CDC 2012: 3372-3379
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/BoseGTC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/BoseGTC12
Subhonmesh Bose, Dennice F. Gayme, Ufuk Topcu, K. Mani Chandy:
Optimal placement of energy storage in the grid. CDC 2012: 5605-5612
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/LiuTOM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/LiuTOM12
Jun Liu, Ufuk Topcu, Necmiye Ozay, Richard M. Murray:
Reactive controllers for differentially flat systems with temporal logic constraints. CDC 2012: 7664-7670
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/TopcuOLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/TopcuOLM12
Ufuk Topcu, Necmiye Ozay, Jun Liu, Richard M. Murray:
On synthesizing robust discrete controllers under modeling uncertainty. HSCC 2012: 85-94
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/ChinchaliLTBM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/ChinchaliLTBM12
Sandeep Chinchali, Scott C. Livingston, Ufuk Topcu, Joel W. Burdick, Richard M. Murray:
Towards formal synthesis of reactive controllers for dexterous robotic manipulation. ICRA 2012: 5183-5189
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/WolffTM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/WolffTM12
Eric M. Wolff, Ufuk Topcu, Richard M. Murray:
Optimal Control with Weighted Average Costs and Temporal Logic Specifications. Robotics: Science and Systems 2012
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/smartgridcomm/ZhaoTL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smartgridcomm/ZhaoTL12
Changhong Zhao, Ufuk Topcu, Steven H. Low:
Swing dynamics as primal-dual algorithm for optimal load control. SmartGridComm 2012: 570-575
2011
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/GaymeT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/GaymeT11
Dennice F. Gayme, Ufuk Topcu:
Optimal power flow with distributed energy storage dynamics. ACC 2011: 1536-1542
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/OzayTM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/OzayTM11
Necmiye Ozay, Ufuk Topcu, Richard M. Murray:
Distributed power allocation for vehicle management systems. CDC/ECC 2011: 4841-4848
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/GanTL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/GanTL11
Lingwen Gan, Ufuk Topcu, Steven H. Low:
Optimal decentralized protocol for electric vehicle charging. CDC/ECC 2011: 5798-5804
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/WongpiromsarnTOXM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/WongpiromsarnTOXM11
Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray:
TuLiP: a software toolbox for receding horizon temporal logic planning. HSCC 2011: 313-314
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/OzayTMW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/OzayTMW11
Necmiye Ozay, Ufuk Topcu, Richard M. Murray, Tichakorn Wongpiromsarn:
Distributed Synthesis of Control Protocols for Smart Camera Networks. ICCPS 2011: 45-54
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/smartgridcomm/HuangLTCC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smartgridcomm/HuangLTCC11
Rui Huang, Steven H. Low, Ufuk Topcu, K. Mani Chandy, Christopher R. Clarke:
Optimal design of hybrid energy system with PV/wind turbine/storage: A case study. SmartGridComm 2011: 511-516
2010
[c19]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaaiss/WongpiromsarnTM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/WongpiromsarnTM10
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray:
Automatic Synthesis of Robust Embedded Control Software. AAAI Spring Symposium: Embedded Reasoning 2010
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/XuTLCC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/XuTLCC10
Huan Xu, Ufuk Topcu, Steven H. Low, Christopher R. Clarke, K. Mani Chandy:
Load-shedding probabilities with hybrid renewable power generation and energy storage. Allerton 2010: 233-239
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/BuziTD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/BuziTD10
Gentian Buzi, Ufuk Topcu, John C. Doyle:
Quantitative nonlinear analysis of autocatalytic pathways with applications to glycolysis. ACC 2010: 3592-3597
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/BuziTD10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/BuziTD10a
Gentian Buzi, Ufuk Topcu, John C. Doyle:
Compositional analysis of autocatalytic networks in biology. ACC 2010: 5929-5935
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/ChandyLTX10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/ChandyLTX10
K. Mani Chandy, Steven H. Low, Ufuk Topcu, Huan Xu:
A simple optimal power flow model with energy storage. CDC 2010: 1051-1057
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/WongpiromsarnTM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/WongpiromsarnTM10
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray:
Receding horizon control for temporal logic specifications. HSCC 2010: 101-110
2009
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/TopcuP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/TopcuP09
Ufuk Topcu, Andrew K. Packard:
Local robust performance analysis for nonlinear dynamical systems. ACC 2009: 784-789
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/TopcuP09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/TopcuP09a
Ufuk Topcu, Andrew K. Packard:
Linearized analysis versus optimization-based nonlinear analysis for nonlinear systems. ACC 2009: 790-795
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/MishraTT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/MishraTT09
Sandipan Mishra, Ufuk Topcu, Masayoshi Tomizuka:
Iterative learning control with saturation constraints. ACC 2009: 943-948
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/TopcuPM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/TopcuPM09
Ufuk Topcu, Andrew K. Packard, Richard M. Murray:
Compositional stability analysis based on dual decomposition. CDC 2009: 1175-1180
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/WongpiromsarnTM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/WongpiromsarnTM09
Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray:
Receding horizon temporal logic planning for dynamical systems. CDC 2009: 5997-6004
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/eucc/TopcuPSB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eucc/TopcuPSB09
Ufuk Topcu, Andrew K. Packard, Peter J. Seiler, Gary Balas:
Stability region estimation for systems with unmodeled dynamics. ECC 2009: 85-90
2008
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/TopcuPSB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/TopcuPSB08
Ufuk Topcu, Andrew K. Packard, Peter J. Seiler, Gary Balas:
Local stability analysis for uncertain nonlinear systems using a branch-and-bound algorithm. ACC 2008: 3428-3433
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CalafioreTG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CalafioreTG08
Giuseppe Carlo Calafiore, Ufuk Topcu, Laurent El Ghaoui:
Parameter estimation with expected and residual-at-risk criteria. CDC 2008: 666-671
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/TopcuCG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/TopcuCG08
Ufuk Topcu, Giuseppe Carlo Calafiore, Laurent El Ghaoui:
Multistage investments with recourse: A single-asset case with transaction costs. CDC 2008: 2398-2403
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/TanTSBP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/TanTSBP08
Weehong Tan, Ufuk Topcu, Peter J. Seiler, Gary J. Balas, Andrew K. Packard:
Simulation-aided reachability and local gain analysis for nonlinear dynamical systems. CDC 2008: 4097-4102
2007
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/acc/TopcuPSW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acc/TopcuPSW07
Ufuk Topcu, Andrew K. Packard, Peter J. Seiler, Timothy J. Wheeler:
Stability Region Analysis Using Simulations and Sum-of-Squares Programming. ACC 2007: 6009-6014
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/TopcuP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/TopcuP07
Ufuk Topcu, Andrew K. Packard:
Stability region analysis for uncertain nonlinear systems. CDC 2007: 1693-1698
2006
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/TopcuM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/TopcuM06
Ufuk Topcu, Kenneth D. Mease:
Using Lyapunov Vectors and Dichotomy to Solve Hyper-Sensitive Optimal Control Problems. CDC 2006: 247-252

Data and Artifacts

see FAQ

What is the meaning of the colors in the publication lists?

2023
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/10/BadingsJMTJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BadingsJMTJ23
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]
- view
  authority control:
- export record
  dblp key:
  - data/10/BadingsJMTJ23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BadingsJMTJ23a
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]
2022
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/BadingsCJJKT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BadingsCJJKT22
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

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i206]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-00806
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-00806
Zhenyu Gao, Yue Yu, Qinshuang Wei, Ufuk Topcu, John-Paul Clarke:
Noise-Aware and Equitable Urban Air Traffic Management: An Optimization Approach. CoRR abs/2401.00806 (2024)
[i205]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-17173
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-17173
Tyler Ingebrand, Amy Zhang, Ufuk Topcu:
Zero-Shot Reinforcement Learning via Function Encoders. CoRR abs/2401.17173 (2024)
[i204]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-07069
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-07069
Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu:
Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine. CoRR abs/2402.07069 (2024)
[i203]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-08570
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-08570
Po-han Li, Öykü Selin Toprak, Aditya Narayanan, Ufuk Topcu, Sandeep Chinchali:
Online Foundation Model Selection in Robotics. CoRR abs/2402.08570 (2024)
[i202]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-08902
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-08902
Xinjie Liu, Lasse Peters, Javier Alonso-Mora, Ufuk Topcu, David Fridovich-Keil:
Auto-Encoding Bayesian Inverse Games. CoRR abs/2402.08902 (2024)
[i201]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-10938
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-10938
Arash Amini, Yigit Ege Bayiz, Ashwin Ram, Radu Marculescu, Ufuk Topcu:
News Source Credibility Assessment: A Reddit Case Study. CoRR abs/2402.10938 (2024)
[i200]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-10384
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-10384
Jaehan Im, Yue Yu, David Fridovich-Keil, Ufuk Topcu:
Coordination in Noncooperative Multiplayer Matrix Games via Reduced Rank Correlated Equilibria. CoRR abs/2403.10384 (2024)
[i199]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-10705
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-10705
Yigit Ege Bayiz, Arash Amini, Radu Marculescu, Ufuk Topcu:
Susceptibility of Communities against Low-Credibility Content in Social News Websites. CoRR abs/2403.10705 (2024)
[i198]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-12279
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-12279
Vivek Pandey, Arash Amini, Guangyi Liu, Ufuk Topcu, Qiyu Sun, Kostas Daniilidis, Nader Motee:
Scalable Networked Feature Selection with Randomized Algorithm for Robot Navigation. CoRR abs/2403.12279 (2024)
[i197]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-17233
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-17233
Kevin S. Miller, Adam J. Thorpe, Ufuk Topcu:
Active Learning of Dynamics Using Prior Domain Knowledge in the Sampling Process. CoRR abs/2403.17233 (2024)
[i196]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-00923
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-00923
Lisong C. Sun, Neel P. Bhatt, Jonathan C. Liu, Zhiwen Fan, Zhangyang Wang, Todd E. Humphreys, Ufuk Topcu:
MM3DGS SLAM: Multi-modal 3D Gaussian Splatting for SLAM Using Vision, Depth, and Inertial Measurements. CoRR abs/2404.00923 (2024)
[i195]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-03740
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-03740
Ege C. Kaya, Michael Hibbard, Takashi Tanaka, Ufuk Topcu, Abolfazl Hashemi:
Randomized Greedy Methods for Weak Submodular Sensor Selection with Robustness Considerations. CoRR abs/2404.03740 (2024)
[i194]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-08954
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-08954
Tyler Ingebrand, Adam J. Thorpe, Ufuk Topcu:
Zero-Shot Transfer of Neural ODEs. CoRR abs/2405.08954 (2024)
[i193]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-14173
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-14173
Shenghui Chen, Daniel Fried, Ufuk Topcu:
Human-Agent Cooperation in Games under Incomplete Information through Natural Language Communication. CoRR abs/2405.14173 (2024)
[i192]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-03565
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-03565
Kushagra Gupta, Xinjie Liu, Ufuk Topcu, David Fridovich-Keil:
Second-Order Algorithms for Finding Local Nash Equilibria in Zero-Sum Games. CoRR abs/2406.03565 (2024)
[i191]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-07556
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-07556
Suresh Venkatasubramanian, Timnit Gebru, Ufuk Topcu, Haley Griffin, Leah Namisa Rosenbloom, Nasim Sonboli:
Community Driven Approaches to Research in Technology & Society CCC Workshop Report. CoRR abs/2406.07556 (2024)
2023
[i190]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-01219
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-01219
Franck Djeumou, Christian Ellis, Murat Cubuktepe, Craig Lennon, Ufuk Topcu:
Task-Guided IRL in POMDPs that Scales. CoRR abs/2301.01219 (2023)
[i189]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-03565
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-03565
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-08811
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-08811
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-14242
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-14242
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-04268
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-04268
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2304-00163
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2304-00163
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-01473
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-01473
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-07110
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-07110
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-15523
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-15523
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-16505
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-16505
Cevahir Köprülü, Ufuk Topcu:
Reward-Machine-Guided, Self-Paced Reinforcement Learning. CoRR abs/2305.16505 (2023)
[i180]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-17372
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-17372
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-05581
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-05581
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-06330
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-06330
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-06335
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-06335
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-13732
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-13732
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-05295
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-05295
Yunhao Yang, Cyrus Neary, Ufuk Topcu:
Multimodal Pretrained Models for Sequential Decision-Making: Synthesis, Verification, Grounding, and Perception. CoRR abs/2308.05295 (2023)
[i174]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-08017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-08017
Yue Yu, Jacob Levy, Negar Mehr, David Fridovich-Keil, Ufuk Topcu:
Active Inverse Learning in Stackelberg Trajectory Games. CoRR abs/2308.08017 (2023)
[i173]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-14092
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-14092
Apurva Patil, Mustafa O. Karabag, Takashi Tanaka, Ufuk Topcu:
Simulator-Driven Deceptive Control via Path Integral Approach. CoRR abs/2308.14092 (2023)
[i172]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-06420
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-06420
Cyrus Neary, Aryaman Singh Samyal, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu:
Verifiable Reinforcement Learning Systems via Compositionality. CoRR abs/2309.06420 (2023)
[i171]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-10171
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-10171
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-00468
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-00468
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-18239
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-18239
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-01258
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-01258
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-06255
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-06255
Parham Gohari, Matthew T. Hale, Ufuk Topcu:
Privacy-Engineered Value Decomposition Networks for Cooperative Multi-Agent Reinforcement Learning. CoRR abs/2311.06255 (2023)
[i166]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-06275
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-06275
David Jensen, Brian LaMacchia, Ufuk Topcu, Pamela J. Wisniewski:
Algorithmic Robustness. CoRR abs/2311.06275 (2023)
[i165]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-14200
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-14200
Yigit Ege Bayiz, Ufuk Topcu:
Prebunking Design as a Defense Mechanism Against Misinformation Propagation on Social Networks. CoRR abs/2311.14200 (2023)
[i164]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-01249
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-01249
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-13132
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-13132
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu:
On the complexity of sabotage games for network security. CoRR abs/2312.13132 (2023)
2022
[i162]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-05715
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-05715
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-06619
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-06619
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-10737
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-10737
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-04786
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-04786
Niklas T. Lauffer, Mahsa Ghasemi, Abolfazl Hashemi, Yagiz Savas, Ufuk Topcu:
No-Regret Learning in Dynamic Stackelberg Games. CoRR abs/2202.04786 (2022)
[i158]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-12861
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-12861
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-02816
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-02816
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-10950
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-10950
Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu:
Dynamic Certification for Autonomous Systems. CoRR abs/2203.10950 (2022)
[i155]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-16343
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-16343
Georgios Bakirtzis, Ufuk Topcu:
AlgebraicSystems: Compositional Verification for Autonomous System Design. CoRR abs/2203.16343 (2022)
[i154]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-00755
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-00755
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu:
Safe Reinforcement Learning via Shielding for POMDPs. CoRR abs/2204.00755 (2022)
[i153]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-11833
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-11833
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-13070
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-13070
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-12430
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-12430
Yunhao Yang, Parham Gohari, Ufuk Topcu:
Additive Logistic Mechanism for Privacy-Preserving Self-Supervised Learning. CoRR abs/2205.12430 (2022)
[i150]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-01306
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-01306
Yagiz Savas, Mustafa O. Karabag, Brian M. Sadler, Ufuk Topcu:
Deceptive Planning for Resource Allocation. CoRR abs/2206.01306 (2022)
[i149]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-11103
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-11103
Abraham P. Vinod, Arie Israel, Ufuk Topcu:
On-the-fly control of unknown nonlinear systems with sublinear regret. CoRR abs/2206.11103 (2022)
[i148]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-06392
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-06392
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-06982
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-06982
Po-han Li, Ufuk Topcu, Sandeep P. Chinchali:
Adversarial Examples for Model-Based Control: A Sensitivity Analysis. CoRR abs/2207.06982 (2022)
[i146]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-08275
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-08275
Yue Yu, Jonathan Salfity, David Fridovich-Keil, Ufuk Topcu:
Inverse Matrix Games with Unique Nash Equilibrium. CoRR abs/2207.08275 (2022)
[i145]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-08288
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-08288
Christos K. Verginis, Zhe Xu, Ufuk Topcu:
Non-Parametric Neuro-Adaptive Formation Control. CoRR abs/2207.08288 (2022)
[i144]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-07259
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-07259
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-13687
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-13687
Georgios Bakirtzis, Michail Savvas, Ufuk Topcu:
Categorical semantics of compositional reinforcement learning. CoRR abs/2208.13687 (2022)
[i142]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-02650
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-02650
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-04536
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-04536
Mustafa O. Karabag, David Fridovich-Keil, Ufuk Topcu:
Alternating Direction Method of Multipliers for Decomposable Saddle-Point Problems. CoRR abs/2209.04536 (2022)
[i140]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-09108
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-09108
Yue Yu, Ruihan Zhao, Sandeep Chinchali, Ufuk Topcu:
Poisoning Attacks Against Data-Driven Predictive Control. CoRR abs/2209.09108 (2022)
[i139]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-00358
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-00358
Po-han Li, Sandeep P. Chinchali, Ufuk Topcu:
Differentially Private Timeseries Forecasts for Networked Control. CoRR abs/2210.00358 (2022)
[i138]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-01221
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-01221
Yue Yu, Shenghui Chen, David Fridovich-Keil, Ufuk Topcu:
Cost Design in Atomic Routing Games. CoRR abs/2210.01221 (2022)
[i137]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-04617
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-04617
Yigit E. Bayiz, Ufuk Topcu:
Countering Misinformation on Social Networks Using Graph Alterations. CoRR abs/2211.04617 (2022)
[i136]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-11741
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-11741
Dhananjay Raju, Georgios Bakirtzis, Ufuk Topcu:
Sensor Placement for Online Fault Diagnosis. CoRR abs/2211.11741 (2022)
[i135]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-00893
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-00893
Cyrus Neary, Ufuk Topcu:
Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks. CoRR abs/2212.00893 (2022)
[i134]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-00916
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-00916
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-01944
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-01944
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
[i132]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-11196
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-11196
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-02953
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-02953
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-09599
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-09599
Parham Gohari, Bo Chen, Bo Wu, Matthew T. Hale, Ufuk Topcu:
Privacy-Preserving Teacher-Student Deep Reinforcement Learning. CoRR abs/2102.09599 (2021)
[i129]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-02063
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-02063
Alexander J. Nettekoven, Ufuk Topcu:
A 3D Printing Hexacopter: Design and Demonstration. CoRR abs/2103.02063 (2021)
[i128]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-03191
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-03191
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-04529
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-04529
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-02547
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-02547
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-08329
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-08329
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-15083
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-15083
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-01225
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-01225
Murat Cubuktepe, Frantisek Blahoudek, Ufuk Topcu:
Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning. CoRR abs/2105.01225 (2021)
[i122]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-02099
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-02099
Frantisek Blahoudek, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu:
Efficient Strategy Synthesis for MDPs with Resource Constraints. CoRR abs/2105.02099 (2021)
[i121]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-05377
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-05377
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-06526
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-06526
Christos K. Verginis, Franck Djeumou, Ufuk Topcu:
Safety-Constrained Learning and Control using Scarce Data and Reciprocal Barriers. CoRR abs/2105.06526 (2021)
[i119]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-11545
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-11545
Nasim Baharisangari, Jean-Raphaël Gaglione, Daniel Neider, Ufuk Topcu, Zhe Xu:
Uncertainty-Aware Signal Temporal logic. CoRR abs/2105.11545 (2021)
[i118]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-14073
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-14073
Franck Djeumou, Murat Cubuktepe, Craig Lennon, Ufuk Topcu:
Task-Guided Inverse Reinforcement Learning Under Partial Information. CoRR abs/2105.14073 (2021)
[i117]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-05864
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-05864
Cyrus Neary, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu:
Verifiable and Compositional Reinforcement Learning Systems. CoRR abs/2106.05864 (2021)
[i116]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-08882
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-08882
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-10533
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-10533
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-13498
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-13498
Christos K. Verginis, Zhe Xu, Ufuk Topcu:
Non-Parametric Neuro-Adaptive Control Subject to Task Specifications. CoRR abs/2106.13498 (2021)
[i113]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-14643
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-14643
Xiaoming Duan, Zhe Xu, Rui Yan, Ufuk Topcu:
Privacy-Utility Trade-Offs Against Limited Adversaries. CoRR abs/2106.14643 (2021)
[i112]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-15729
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-15729
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-00108
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-00108
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Convex Optimization for Parameter Synthesis in MDPs. CoRR abs/2107.00108 (2021)
[i110]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-00116
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-00116
Farzan Memarian, Abolfazl Hashemi, Scott Niekum, Ufuk Topcu:
Robust Generative Adversarial Imitation Learning via Local Lipschitzness. CoRR abs/2107.00116 (2021)
[i109]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-09793
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-09793
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-10260
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-10260
Yue Yu, Purnanand Elango, Ufuk Topcu, Behçet Açikmese:
Proportional-Integral Projected Gradient Method for Conic Optimization. CoRR abs/2108.10260 (2021)
[i107]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-02756
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-02756
Yue Yu, Ufuk Topcu:
Proportional-Integral Projected Gradient Method for Infeasibility Detection in Conic Optimization. CoRR abs/2109.02756 (2021)
[i106]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-05073
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-05073
Michael Hibbard, Takashi Tanaka, Ufuk Topcu:
Simultaneous Perception-Action Design via Invariant Finite Belief Sets. CoRR abs/2109.05073 (2021)
[i105]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-06407
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-06407
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-06740
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-06740
Yagiz Savas, Christos K. Verginis, Ufuk Topcu:
Deceptive Decision-Making Under Uncertainty. CoRR abs/2109.06740 (2021)
[i103]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-03054
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-03054
Yunhao Yang, Parham Gohari, Ufuk Topcu:
On The Vulnerability of Recurrent Neural Networks to Membership Inference Attacks. CoRR abs/2110.03054 (2021)
[i102]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-05125
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-05125
Christos K. Verginis, Zhe Xu, Ufuk Topcu:
Non-Parametric Neuro-Adaptive Coordination of Multi-Agent Systems. CoRR abs/2110.05125 (2021)
[i101]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-00279
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-00279
Binghan He, Mahsa Ghasemi, Ufuk Topcu, Luis Sentis:
A Barrier Pair Method for Safe Human-Robot Shared Autonomy. CoRR abs/2112.00279 (2021)
[i100]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-13020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-13020
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
[i99]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-00835
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-00835
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-08174
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-08174
Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. CoRR abs/2001.08174 (2020)
[i97]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-09066
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-09066
Murat Cubuktepe, Zhe Xu, Ufuk Topcu:
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. CoRR abs/2001.09066 (2020)
[i96]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-09227
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-09227
Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu:
Active Task-Inference-Guided Deep Inverse Reinforcement Learning. CoRR abs/2001.09227 (2020)
[i95]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2001-09956
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-09956
Zhe Xu, Yuxin Chen, Ufuk Topcu:
Adaptive Teaching of Temporal Logic Formulas to Learners with Preferences. CoRR abs/2001.09956 (2020)
[i94]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-05615
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-05615
Steven Carr, Nils Jansen, Ufuk Topcu:
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. CoRR abs/2002.05615 (2020)
[i93]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-07274
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-07274
Dhananjay Raju, Rüdiger Ehlers, Ufuk Topcu:
Playing Against Opponents With Limited Memory. CoRR abs/2002.07274 (2020)
[i92]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-12637
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-12637
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-02356
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-02356
Murat Cubuktepe, Takashi Tanaka, Ufuk Topcu:
Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization. CoRR abs/2004.02356 (2020)
[i90]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-07778
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-07778
Parham Gohari, Matthew T. Hale, Ufuk Topcu:
Privacy-Preserving Policy Synthesis in Markov Decision Processes. CoRR abs/2004.07778 (2020)
[i89]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-07227
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-07227
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-14947
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-14947
Murat Cubuktepe, Zhe Xu, Ufuk Topcu:
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications. CoRR abs/2006.14947 (2020)
[i87]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-15714
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-15714
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-01498
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-01498
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-01962
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-01962
Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu:
Reward Machines for Cooperative Multi-Agent Reinforcement Learning. CoRR abs/2007.01962 (2020)
[i84]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-15114
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-15114
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-15755
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-15755
Parham Gohari, Franck Djeumou, Abraham P. Vinod, Ufuk Topcu:
Blending Controllers via Multi-Objective Bandits. CoRR abs/2007.15755 (2020)
[i82]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-16107
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-16107
Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu:
Near-Optimal Reactive Synthesis Incorporating Runtime Information. CoRR abs/2007.16107 (2020)
[i81]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-00164
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-00164
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-04768
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-04768
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu:
Constrained Active Classification Using Partially Observable Markov Decision Processes. CoRR abs/2008.04768 (2020)
[i79]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-02432
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-02432
Binghan He, Jaemin Lee, Ufuk Topcu, Luis Sentis:
BP-RRT: Barrier Pair Synthesis for Temporal Logic Motion Planning. CoRR abs/2009.02432 (2020)
[i78]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-11459
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-11459
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-11954
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-11954
Tichakorn Wongpiromsarn, Konstantin Slutsky, Emilio Frazzoli, Ufuk Topcu:
Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations. CoRR abs/2009.11954 (2020)
[i76]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-12733
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-12733
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-14443
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-14443
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-05524
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-05524
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-09065
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-09065
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-15485
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-15485
Mahsa Ghasemi, Evan Scope Crafts, Bo Zhao, Ufuk Topcu:
Multiple Plans are Better than One: Diverse Stochastic Planning. CoRR abs/2012.15485 (2020)
2019
[i71]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-08568
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-08568
Min Wen, Osbert Bastani, Ufuk Topcu:
Fairness with Dynamics. CoRR abs/1901.08568 (2019)
[i70]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-02393
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-02393
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu:
Distributed Synthesis of Surveillance Strategies for Mobile Sensors. CoRR abs/1902.02393 (2019)
[i69]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-01350
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-01350
Rachel Schlossman, Minkyu Kim, Ufuk Topcu, Luis Sentis:
Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions. CoRR abs/1903.01350 (2019)
[i68]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-08428
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-08428
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu:
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. CoRR abs/1903.08428 (2019)
[i67]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-09714
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-09714
Zhe Xu, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu:
Graph Temporal Logic Inference for Classification and Identification. CoRR abs/1903.09714 (2019)
[i66]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-06938
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-06938
Laura R. Humphrey, Bettina Könighofer, Robert Könighofer, Ufuk Topcu:
Synthesis of Admissible Shields. CoRR abs/1904.06938 (2019)
[i65]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-11454
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-11454
Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu:
Reward-Based Deception with Cognitive Bias. CoRR abs/1904.11454 (2019)
[i64]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-06471
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-06471
Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu:
Synthesis of Provably Correct Autonomy Protocols for Shared Control. CoRR abs/1905.06471 (2019)
[i63]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-08095
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-08095
Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu:
Control Theory Meets POMDPs: A Hybrid Systems Approach. CoRR abs/1905.08095 (2019)
[i62]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-11778
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-11778
Baihong Jin, Yingshui Tan, Alexander J. Nettekoven, Yuxin Chen, Ufuk Topcu, Yisong Yue, Alberto L. Sangiovanni-Vincentelli:
An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing. CoRR abs/1907.11778 (2019)
[i61]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-04256
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-04256
Zhe Xu, Ufuk Topcu:
Transfer of Temporal Logic Formulas in Reinforcement Learning. CoRR abs/1909.04256 (2019)
[i60]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-05912
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-05912
Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu:
Joint Inference of Reward Machines and Policies for Reinforcement Learning. CoRR abs/1909.05912 (2019)
[i59]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-09939
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-09939
Zhe Xu, Federico M. Zegers, Bo Wu, Warren E. Dixon, Ufuk Topcu:
Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach. CoRR abs/1909.09939 (2019)
[i58]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-12898
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-12898
Mahsa Ghasemi, Abolfazl Hashemi, Haris Vikalo, Ufuk Topcu:
Identifying Low-Dimensional Structures in Markov Chains: A Nonnegative Matrix Factorization Approach. CoRR abs/1909.12898 (2019)
[i57]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-13294
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-13294
Zhe Xu, Kasra Yazdani, Matthew T. Hale, Ufuk Topcu:
Differentially Private Controller Synthesis With Metric Temporal Logic Specifications. CoRR abs/1909.13294 (2019)
[i56]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-00043
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-00043
Parham Gohari, Bo Wu, Matthew T. Hale, Ufuk Topcu:
The Dirichlet Mechanism for Differential Privacy on the Unit Simplex. CoRR abs/1910.00043 (2019)
[i55]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-02130
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-02130
Mahsa Ghasemi, Ufuk Topcu:
Online Active Perception for Partially Observable Markov Decision Processes with Limited Budget. CoRR abs/1910.02130 (2019)
[i54]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-02561
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-02561
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu:
Reactive Synthesis with Maximum Realizability of Linear Temporal Logic Specifications. CoRR abs/1910.02561 (2019)
[i53]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-10380
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-10380
Dhananjay Raju, Suda Bharadwaj, Ufuk Topcu:
Decentralized Runtime Synthesis of Shields for Multi-Agent Systems. CoRR abs/1910.10380 (2019)
[i52]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-07394
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-07394
Suda Bharadwaj, Louis Ly, Bo Wu, Richard Tsai, Ufuk Topcu:
Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization. CoRR abs/1911.07394 (2019)
[i51]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-09889
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-09889
Michael Hibbard, Yagiz Savas, Zhe Xu, Ufuk Topcu:
Minimizing the Information Leakage Regarding High-Level Task Specifications. CoRR abs/1911.09889 (2019)
[i50]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-11347
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-11347
Zhe Xu, Agung Julius, Ufuk Topcu, Joe H. Chow:
Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications. CoRR abs/1911.11347 (2019)
[i49]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-12976
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-12976
Melkior Ornik, Ufuk Topcu:
Learning and Planning for Time-Varying MDPs Using Maximum Likelihood Estimation. CoRR abs/1911.12976 (2019)
[i48]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-11223
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-11223
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain MDPs. CoRR abs/1912.11223 (2019)
2018
[i47]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-09810
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-09810
Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu:
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. CoRR abs/1802.09810 (2018)
[i46]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-00091
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-00091
Murat Cubuktepe, Ufuk Topcu:
Verification of Markov Decision Processes with Risk-Sensitive Measures. CoRR abs/1803.00091 (2018)
[i45]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-08966
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-08966
Lu Feng, Mahsa Ghasemi, Kai-Wei Chang, Ufuk Topcu:
Counterexamples for Robotic Planning Explained in Structured Language. CoRR abs/1803.08966 (2018)
[i44]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-00415
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-00415
Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu:
Maximum Realizability for Linear Temporal Logic Specifications. CoRR abs/1804.00415 (2018)
[i43]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-03810
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-03810
Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu:
Privacy Verification in POMDPs via Barrier Certificates. CoRR abs/1804.03810 (2018)
[i42]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-03090
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-03090
Melkior Ornik, Ufuk Topcu:
Deception in Optimal Control. CoRR abs/1805.03090 (2018)
[i41]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-03223
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-03223
Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu:
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints. CoRR abs/1807.03223 (2018)
[i40]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-03823
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-03823
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu:
Verification of Uncertain POMDPs Using Barrier Certificates. CoRR abs/1807.03823 (2018)
[i39]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-06106
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-06106
Nils Jansen, Laura R. Humphrey, Jana Tumova, Ufuk Topcu:
Structured Synthesis for Probabilistic Systems. CoRR abs/1807.06106 (2018)
[i38]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1809-06480
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-06480
Suda Bharadwaj, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu:
Transfer Entropy in MDPs with Temporal Logic Specifications. CoRR abs/1809.06480 (2018)
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1810-00092
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-00092
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
The Partially Observable Games We Play for Cyber Deception. CoRR abs/1810.00092 (2018)
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1810-00093
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-00093
Mohamadreza Ahmadi, Bo Wu, Yuxin Chen, Yisong Yue, Ufuk Topcu:
Barrier Certificates for Assured Machine Teaching. CoRR abs/1810.00093 (2018)
[i35]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1810-00097
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-00097
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu:
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. CoRR abs/1810.00097 (2018)
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-04333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-04333
Ye Zhao, Yinan Li, Luis Sentis, Ufuk Topcu, Jun Liu:
Reactive Task and Motion Planning for Robust Whole-Body Dynamic Locomotion in Constrained Environments. CoRR abs/1811.04333 (2018)
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-08846
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-08846
Zhe Xu, Melkior Ornik, A. Agung Julius, Ufuk Topcu:
Information-Guided Temporal Logic Inference with Prior Knowledge. CoRR abs/1811.08846 (2018)
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-09000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-09000
Dantong Ge, Melkior Ornik, Ufuk Topcu:
Robust Myopic Control for Systems with Imperfect Observations. CoRR abs/1811.09000 (2018)
2017
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Cubuktepe0JKPPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Cubuktepe0JKPPT17
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu:
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. CoRR abs/1702.00063 (2017)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/LittmanTFIWM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LittmanTFIWM17
Michael L. Littman, Ufuk Topcu, Jie Fu, Charles Lee Isbell Jr., Min Wen, James MacGlashan:
Environment-Independent Task Specifications via GLTL. CoRR abs/1704.04341 (2017)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/QuindlenTCH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/QuindlenTCH17
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How:
Active Sampling for Constrained Simulation-based Verification of Uncertain Nonlinear Systems. CoRR abs/1705.01471 (2017)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/QuindlenTCH17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/QuindlenTCH17a
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How:
Active Sampling-based Binary Verification of Dynamical Systems. CoRR abs/1706.04268 (2017)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1708-04236
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-04236
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker:
Motion Planning under Partial Observability using Game-Based Abstraction. CoRR abs/1708.04236 (2017)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1708-08611
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-08611
Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, Ufuk Topcu:
Safe Reinforcement Learning via Shielding. CoRR abs/1708.08611 (2017)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-04889
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-04889
Melkior Ornik, Arie Israel, Ufuk Topcu:
Control-Oriented Learning on the Fly. CoRR abs/1709.04889 (2017)
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-05363
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-05363
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu:
Synthesis of surveillance strategies via belief abstraction. CoRR abs/1709.05363 (2017)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-06645
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-06645
John F. Quindlen, Ufuk Topcu, Girish Chowdhary, Jonathan P. How:
Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties. CoRR abs/1709.06645 (2017)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-08823
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-08823
Abolfazl Hashemi, Mahsa Ghasemi, Haris Vikalo, Ufuk Topcu:
A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks. CoRR abs/1709.08823 (2017)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-00675
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-00675
Krishnendu Chatterjee, Martin Chmelik, Ufuk Topcu:
Sensor Synthesis for POMDPs with Reachability Objectives. CoRR abs/1710.00675 (2017)
2016
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/NeiderT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NeiderT16
Daniel Neider, Ufuk Topcu:
An Automaton Learning Approach to Solving Safety Games over Infinite Graphs. CoRR abs/1601.01660 (2016)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/EhlersMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EhlersMT16
Rüdiger Ehlers, Salar Moarref, Ufuk Topcu:
Risk-Averse ω-regular Markov Decision Process Control. CoRR abs/1603.06716 (2016)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/0001CT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0001CT16
Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees. CoRR abs/1610.08500 (2016)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Junges0KT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Junges0KT16
Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu:
Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction. CoRR abs/1610.09409 (2016)
2015
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/WenET15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WenET15
Min Wen, Rüdiger Ehlers, Ufuk Topcu:
Correct-by-synthesis reinforcement learning with temporal logic constraints. CoRR abs/1503.01793 (2015)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FuHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FuHT15
Jie Fu, Shuo Han, Ufuk Topcu:
Optimal control in Markov decision processes via distributed optimization. CoRR abs/1503.07189 (2015)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FuT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FuT15
Jie Fu, Ufuk Topcu:
Computational methods for stochastic control with metric interval temporal logic specifications. CoRR abs/1503.07193 (2015)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Junges0DTK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Junges0DTK15
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen:
Safety-Constrained Reinforcement Learning for MDPs. CoRR abs/1510.05880 (2015)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FuATP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FuATP15
Jie Fu, Nikolay Atanasov, Ufuk Topcu, George J. Pappas:
Optimal Temporal Logic Planning in Probabilistic Semantic Maps. CoRR abs/1510.06469 (2015)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/WenT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WenT15
Min Wen, Ufuk Topcu:
Strategy Synthesis for Stochastic Rabin Games with Discounted Reward. CoRR abs/1511.00647 (2015)
2014
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/WongpiromsarnTL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WongpiromsarnTL14
Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew G. Lamperski:
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems. CoRR abs/1403.3524 (2014)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HanTP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HanTP14
Shuo Han, Ufuk Topcu, George J. Pappas:
Differentially Private Convex Optimization with Piecewise Affine Objectives. CoRR abs/1403.6135 (2014)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FuT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FuT14
Jie Fu, Ufuk Topcu:
Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints. CoRR abs/1404.7073 (2014)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FuDT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FuDT14
Jie Fu, Rayna Dimitrova, Ufuk Topcu:
Abstractions and sensor design in partial-information, reactive controller synthesis. CoRR abs/1405.1630 (2014)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FuT14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FuT14a
Jie Fu, Ufuk Topcu:
Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations. CoRR abs/1410.0083 (2014)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HanTP14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HanTP14a
Shuo Han, Ufuk Topcu, George J. Pappas:
Differentially Private Distributed Constrained Optimization. CoRR abs/1411.4105 (2014)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FuT14b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FuT14b
Jie Fu, Ufuk Topcu:
Pareto efficiency in synthesizing shared autonomy policies with temporal logic constraints. CoRR abs/1412.6029 (2014)
2013
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1305-0585
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-0585
Changhong Zhao, Ufuk Topcu, Na Li, Steven H. Low:
Power System Dynamics as Primal-Dual Algorithm for Optimal Load Control. CoRR abs/1305.0585 (2013)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AlurMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlurMT13
Rajeev Alur, Salar Moarref, Ufuk Topcu:
Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications. CoRR abs/1308.4113 (2013)
2012
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1210-2035
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2035
Clemens Wiltsche, Ufuk Topcu, Richard M. Murray:
Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication. CoRR abs/1210.2035 (2012)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.