vix.ing · top · new · best · stats · spec

Topcu, Ufuk

  1. Safe Reinforcement Learning via Shielding
    2017/08/29 by Alshiekh, Mohammed, Bloem, Roderick, Ehlers, Ruediger +3 · 48 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
  2. Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints
    2014/04/28 by Jie Fu, Fu, Jie, Ufuk Topcu +1 · 7 citations
    Computer Science · #93E35 #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #G.3 #I.2.8 #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  3. Safe Multi-Agent Reinforcement Learning via Shielding
    2021/01/27 by Ingy Elsayed-Aly, Suda Bharadwaj, Elsayed-Aly, Ingy +9 · 7 citations
    Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #I.2.4 #I.2.6 #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
  4. Self-Supervised Online Reward Shaping in Sparse-Reward Environments
    2021/03/08 by F. Memarian, Wonjoon Goo, Memarian, Farzan +7 · 6 citations
    Computer Science · #Data Stream Mining Techniques #Machine Learning and Algorithms #Reinforcement Learning in Robotics
  5. Safe Reinforcement Learning via Shielding under Partial Observability
    2022/04/02 by Steven A. Carr, Nils Jansen, Carr, Steven +5 · 7 citations
    Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Reinforcement Learning in Robotics
  6. Compositional Learning of Dynamical System Models Using Port-Hamiltonian Neural Networks
    2022/12/01 by Cyrus Neary, Ufuk Topcu, Neary, Cyrus +1 · 6 citations
    Physics and Astronomy · Computer Science · Engineering · #Model Reduction and Neural Networks #Neural Networks and Applications #Control and Stability of Dynamical Systems
  7. Joint Inference of Reward Machines and Policies for Reinforcement Learning
    2019/09/12 by Zhe Xu, Xu, Zhe, Ivan Gavran +11 · 5 citations
    Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning and Algorithms #Receptor Mechanisms and Signaling #Reinforcement Learning in Robotics
  8. Proportional-Integral Projected Gradient Method for Conic Optimization
    2021/08/23 by Yue Yu, Purnanand Elango, Yu, Yue +5 · 5 citations
    Computer Science · Engineering · Mathematics · #Advanced Optimization Algorithms Research #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Optimization and Variational Analysis #Sparse and Compressive Sensing Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
  9. Verifiable and Compositional Reinforcement Learning Systems
    2021/06/07 by Neary, Cyrus, Verginis, Christos, Cubuktepe, Murat +1 · 4 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  10. Class-Aware Adversarial Transformers for Medical Image Segmentation
    2022/01/26 by You, Chenyu, Zhao, Ruihan, Liu, Fenglin +5 · 4 citations
    #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Image and Video Processing (eess.IV) #Machine Learning (cs.LG) #electronic engineering #information engineering
  11. Zero-Shot Reinforcement Learning via Function Encoders
    2024/01/30 by Tyler Ingebrand, Ingebrand, Tyler, Amy Zhang +3 · 2 voices · 5 citations
    #cs.LG #cs.AI
  12. Transfer of Temporal Logic Formulas in Reinforcement Learning
    2019/09/10 by Xu, Zhe, Topcu, Ufuk · 3 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
  13. Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples
    2020/06/28 by Xu, Zhe, Wu, Bo, Ojha, Aditya +2 · 3 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  14. Extrapolated Proportional-Integral Projected Gradient Method for Conic Optimization
    2022/03/08 by Yue Yu, Yu, Yue, Purnanand Elango +5 · 4 citations
    Engineering · Mathematics · Biochemistry, Genetics and Molecular Biology · #Advanced Control Systems Optimization #Advanced Optimization Algorithms Research #Eicosanoids and Hypertension Pharmacology
  15. On Controllability and Persistency of Excitation in Data-Driven Control: Extensions of Willems' Fundamental Lemma
    2021/02/05 by Yue Yu, Shahriar Talebi, Yu, Yue +9 · 3 citations
    Engineering · #Advanced Control Systems Optimization #Control Systems and Identification #FOS: Electrical engineering #Fault Detection and Control Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
  16. Basis-to-Basis Operator Learning Using Function Encoders
    2024/09/30 by Tyler Ingebrand, Ingebrand, Tyler, Adam J. Thorpe +7 · 7 citations
    Computer Science · Physics and Astronomy · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Neural Networks and Applications
  17. MM3DGS SLAM: Multi-modal 3D Gaussian Splatting for SLAM Using Vision, Depth, and Inertial Measurements
    2024/04/01 by Sun, Lisong C., Bhatt, Neel P., Liu, Jonathan C. +4 · 5 citations
    #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Robotics (cs.RO)
  18. Environment-Independent Task Specifications via GLTL
    2017/04/14 by Littman, Michael L., Topcu, Ufuk, Fu, Jie +3 · 2 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
  19. A Randomized Greedy Algorithm for Near-Optimal Sensor Scheduling in Large-Scale Sensor Networks
    2017/09/26 by Hashemi, Abolfazl, Ghasemi, Mahsa, Vikalo, Haris +1 · 2 citations
    #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
  20. Safety-Constrained Reinforcement Learning for MDPs
    2015/10/20 by Junges, Sebastian, Jansen, Nils, Dehnert, Christian +2 · 2 citations
    #FOS: Computer and information sciences #FOS: Electrical engineering #Software Engineering (cs.SE) #Systems and Control (eess.SY) #electronic engineering #information engineering
  21. Robust Finite-State Controllers for Uncertain POMDPs
    2020/09/24 by Cubuktepe, Murat, Jansen, Nils, Junges, Sebastian +3 · 3 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Optimization and Control (math.OC) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  22. Scenario-Based Verification of Uncertain MDPs
    2019/12/24 by Murat Cubuktepe, Nils Jansen, Cubuktepe, Murat +7 · 2 citations
    Computer Science · #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Optimization and Control (math.OC)
  23. Know Where You're Uncertain When Planning with Multimodal Foundation Models: A Formal Framework
    2024/11/03 by Neel P. Bhatt, Bhatt, Neel P., Yunhao Yang +9 · 9 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multi-Agent Systems and Negotiation #Robotics (cs.RO) #Semantic Web and Ontologies #Speech and dialogue systems
  24. Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust
    2020/10/27 by Ufuk Topcu, Nadya Bliss, Topcu, Ufuk +11 · 2 citations
    Economics, Econometrics and Finance · Social Sciences · #Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #Ethics and Social Impacts of AI #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Insurance and Financial Risk Management #Multiagent Systems (cs.MA)
  25. Active Inverse Learning in Stackelberg Trajectory Games
    2023/08/15 by Yue Yu, Ward, William, Yu, Yue +8 · 3 citations
    Physics and Astronomy · Computer Science · #Statistical Mechanics and Entropy #Gaussian Processes and Bayesian Inference
  26. How to Learn and Generalize From Three Minutes of Data: Physics-Constrained and Uncertainty-Aware Neural Stochastic Differential Equations
    2023/06/10 by Franck Djeumou, Cyrus Neary, Djeumou, Franck +3 · 3 citations
    Physics and Astronomy · Computer Science · #Model Reduction and Neural Networks #Adversarial Robustness in Machine Learning #Gaussian Processes and Bayesian Inference
  27. Reactive Task and Motion Planning for Robust Whole-Body Dynamic Locomotion in Constrained Environments
    2018/11/11 by Zhao, Ye, Li, Yinan, Sentis, Luis +2 · 2 citations
    #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  28. No-Regret Learning in Dynamic Stackelberg Games
    2022/02/10 by Niklas Lauffer, Mahsa Ghasemi, Lauffer, Niklas +7 · 2 citations
    Engineering · Computer Science · Decision Sciences · #Infrastructure Resilience and Vulnerability Analysis #Age of Information Optimization #Game Theory and Applications
  29. Safely: Safe Stochastic Motion Planning Under Constrained Sensing via Duality
    2022/03/05 by Michael Hibbard, Abraham P. Vinod, Hibbard, Michael +5 · 2 citations
    Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Reinforcement Learning in Robotics #Robotic Path Planning Algorithms #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  30. Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine
    2024/02/11 by Shayan Meshkat Alsadat, Jean-Raphaël Gaglione, Alsadat, Shayan Meshkat +7 · 3 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
  31. From Agile Ground to Aerial Navigation: Learning from Learned Hallucination
    2021/08/22 by Zizhao Wang, Wang, Zizhao, Xuesu Xiao +13 · 2 citations
    Computer Science · #Artificial Intelligence in Games #FOS: Computer and information sciences #Reinforcement Learning in Robotics #Robotic Path Planning Algorithms #Robotics (cs.RO)
  32. Fine-Tuning Language Models Using Formal Methods Feedback
    2023/10/27 by Yunhao Yang, Neel P. Bhatt, Yang, Yunhao +9 · 4 citations
    Computer Science · #Natural Language Processing Techniques #Topic Modeling #Machine Learning and Algorithms
  33. Generalization Bounds for Sparse Random Feature Expansions
    2021/03/04 by Abolfazl Hashemi, Hashemi, Abolfazl, Hayden Schaeffer +9 · 2 citations
    Computer Science · Engineering · #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and ELM #Numerical Analysis (math.NA) #Optimization and Control (math.OC) #Probability (math.PR) #Sparse and Compressive Sensing Techniques
  34. Convex Optimal Uncertainty Quantification
    2013/11/27 by Shuo Han, Molei Tao, Han, Shuo +7 · 1 citation
    Computer Science · Decision Sciences · #Advanced Multi-Objective Optimization Algorithms #FOS: Mathematics #Optimization and Control (math.OC) #Probabilistic and Robust Engineering Design #Risk and Portfolio Optimization
  35. Automata Theory Meets Barrier Certificates: Temporal Logic Verification\n of Nonlinear Systems
    2014/03/14 by Tichakorn Wongpiromsarn, Ufuk Topcu, Wongpiromsarn, Tichakorn +3 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Software Testing and Debugging Techniques
  36. Noise-Aware and Equitable Urban Air Traffic Management: An Optimization Approach
    2024/01/01 by Gao, Zhenyu, Yu, Yue, Wei, Qinshuang +2 · 3 citations
    #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
  37. Learning Interpretable Temporal Properties from Positive Examples Only
    2022/09/06 by Roy, Rajarshi, Gaglione, Jean-Raphaël, Baharisangari, Nasim +3 · 2 citations
    #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.6 #Logic in Computer Science (cs.LO)
  38. An Automaton Learning Approach to Solving Safety Games over Infinite Graphs
    2016/01/07 by Neider, Daniel, Topcu, Ufuk · 1 citation
    #05C57 #F.1.1 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #I.2.6 #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
  39. Correct-by-synthesis reinforcement learning with temporal logic constraints
    2015/03/05 by Min Wen, Wen, Min, Ehlers, Ruediger +2 · 1 citation
    Biochemistry, Genetics and Molecular Biology · Computer Science · #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Receptor Mechanisms and Signaling #Systems and Control (eess.SY) #electronic engineering #information engineering
  40. An Encoder-Decoder Based Approach for Anomaly Detection with Application\n in Additive Manufacturing
    2019/07/26 by Baihong Jin, Yingshui Tan, Jin, Baihong +12 · 3 citations
    Computer Science · Engineering · #Anomaly Detection Techniques and Applications #Industrial Vision Systems and Defect Detection #Fault Detection and Control Systems
  41. Risk-aware Urban Air Mobility Network Design with Overflow Redundancy
    2023/06/08 by Qinshuang Wei, Wei, Qinshuang, Zhenyu Gao +5 · 2 citations
    Engineering · Economics, Econometrics and Finance · #Air Traffic Management and Optimization #Aviation Industry Analysis and Trends #Vehicle Routing Optimization Methods
  42. Randomized Greedy Sensor Selection: Leveraging Weak Submodularity
    2018/07/19 by Hashemi, Abolfazl, Ghasemi, Mahsa, Vikalo, Haris +1 · 1 citation
    #FOS: Electrical engineering #Signal Processing (eess.SP) #electronic engineering #information engineering
  43. Autonomous Drifting with 3 Minutes of Data via Learned Tire Models
    2023/06/10 by Franck Djeumou, Jonathan Y. M. Goh, Djeumou, Franck +5 · 2 citations
    Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Mechanical Engineering and Vibrations Research #Real-time simulation and control systems #Systems and Control (eess.SY) #Vehicle Dynamics and Control Systems #electronic engineering #information engineering
  44. Algorithms for Fairness in Sequential Decision Making
    2019/01/24 by Wen, Min, Bastani, Osbert, Topcu, Ufuk · 1 citation
    #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
  45. Graph Temporal Logic Inference for Classification and Identification
    2019/03/22 by Zhe Xu, Alexander Nettekoven, Xu, Zhe +5 · 1 citation
    Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Gene Regulatory Network Analysis #Logic in Computer Science (cs.LO) #Slime Mold and Myxomycetes Research
  46. Minimizing the Information Leakage Regarding High-Level Task Specifications
    2019/11/22 by Hibbard, Michael, Savas, Yagis, Xu, Zhe +1 · 1 citation
    #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
  47. Online Synthesis for Runtime Enforcement of Safety in Multi-Agent Systems
    2019/10/23 by Raju, Dhananjay, Bharadwaj, Suda, Topcu, Ufuk · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Multiagent Systems (cs.MA) #Systems and Control (eess.SY) #electronic engineering #information engineering
  48. Verifiable Reinforcement Learning Systems via Compositionality
    2023/09/09 by Cyrus Neary, Neary, Cyrus, Aryaman Singh Samyal +7 · 2 citations
    Computer Science · #Reinforcement Learning in Robotics #Adversarial Robustness in Machine Learning
  49. Privacy-Preserving Policy Synthesis in Markov Decision Processes
    2020/04/16 by Gohari, Parham, Hale, Matthew, Topcu, Ufuk · 1 citation
    #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
  50. Qualitative Controller Synthesis for Consumption Markov Decision Processes
    2020/05/14 by Blahoudek, František, Brázdil, Tomáš, Novotný, Petr +3 · 1 citation
    #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
  51. Minimum-Violation Planning for Autonomous Systems: Theoretical and\n Practical Considerations
    2020/09/24 by Tichakorn Wongpiromsarn, Wongpiromsarn, Tichakorn, Konstantin Slutsky +5 · 1 citation
    Computer Science · #Advanced Database Systems and Queries #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Robotics (cs.RO)
  52. On Minimizing Total Discounted Cost in MDPs Subject to Reachability Constraints
    2021/03/16 by Yagiz Savas, Savas, Yagiz, Christos K. Verginis +5 · 1 citation
    Computer Science · #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC)
  53. Efficient Strategy Synthesis for MDPs with Resource Constraints
    2021/05/05 by František Blahoudek, Blahoudek, František, Petr Novotný +7 · 1 citation
    Computer Science · Decision Sciences · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Complex Systems and Decision Making #FOS: Computer and information sciences #FOS: Electrical engineering #Simulation Techniques and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
  54. Entropy Maximization for Partially Observable Markov Decision Processes
    2021/05/16 by Savas, Yagiz, Hibbard, Michael, Wu, Bo +2 · 1 citation
    #FOS: Mathematics #Optimization and Control (math.OC)
  55. Robust Training in High Dimensions via Block Coordinate Geometric Median Descent
    2021/06/16 by Anish Acharya, Abolfazl Hashemi, Acharya, Anish +9 · 1 citation
    Computer Science · Engineering · #Stochastic Gradient Optimization Techniques #Machine Learning and Algorithms #Sparse and Compressive Sensing Techniques
  56. Deceptive Decision-Making Under Uncertainty
    2021/09/14 by Savas, Yagiz, Verginis, Christos K., Topcu, Ufuk · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
  57. Function Encoders: A Principled Approach to Transfer Learning in Hilbert Spaces
    2025/01/30 by Tyler Ingebrand, Adam J. Thorpe, Ingebrand, Tyler +3 · 6 citations
    Computer Science · Physics and Astronomy · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Neural Networks and Applications
  58. Categorical semantics of compositional reinforcement learning
    2022/08/29 by Bakirtzis, Georgios, Savvas, Michail, Topcu, Ufuk · 1 citation
    #Artificial Intelligence (cs.AI) #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Logic in Computer Science (cs.LO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  59. Planning Not to Talk: Multiagent Systems that are Robust to Communication Loss
    2022/01/17 by Karabag, Mustafa O., Neary, Cyrus, Topcu, Ufuk · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Multiagent Systems (cs.MA)
  60. Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics
    2022/04/20 by Christos K. Verginis, Verginis, Christos, Cevahir Köprülü +5 · 1 citation
    Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Receptor Mechanisms and Signaling #Reinforcement Learning in Robotics #Systems and Control (eess.SY) #electronic engineering #information engineering
  61. Dynamic Certification for Autonomous Systems
    2022/03/21 by Georgios Bakirtzis, Bakirtzis, Georgios, Steven A. Carr +5 · 1 citation
    Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Multiagent Systems (cs.MA) #Robotics (cs.RO) #Safety Systems Engineering in Autonomy #Systems and Control (eess.SY) #electronic engineering #information engineering
  62. Control-Oriented Learning on the Fly
    2017/09/14 by Ornik, Melkior, Israel, Arie, Topcu, Ufuk · 1 citation
    #93C41 #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #I.2.6 #I.2.8 #Machine Learning (cs.LG) #Optimization and Control (math.OC) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
  63. Inverse Matrix Games with Unique Quantal Response Equilibrium
    2022/07/17 by Yue Yu, Jonathan Salfity, Yu, Yue +5 · 1 citation
    Computer Science · Economics, Econometrics and Finance · Mathematics · #Advanced Optimization Algorithms Research #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Game Theory and Voting Systems #Optimization and Variational Analysis
  64. On the Sample Complexity of Vanilla Model-Based Offline Reinforcement Learning with Dependent Samples
    2023/03/07 by Mustafa O. Karabag, Ufuk Topcu, Karabag, Mustafa O. +1 · 1 citation
    Computer Science · Mathematics · #Advanced Causal Inference Techniques #Age of Information Optimization #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
  65. Scalable Networked Feature Selection with Randomized Algorithm for Robot Navigation
    2024/03/18 by Pandey, Vivek, Amini, Arash, Liu, Guangyi +4 · 2 citations
    #FOS: Computer and information sciences #Robotics (cs.RO)
  66. Real-Time Quadrotor Trajectory Optimization with Time-Triggered Corridor Constraints
    2022/08/15 by Yu, Yue, Nagpal, Kartik, Mceowen, Skye +2 · 2 citations
    #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
  67. Dynamic Routing in Stochastic Urban Air Mobility Networks: A Markov Decision Process Approach
    2023/05/11 by Qinshuang Wei, Yue Yu, Wei, Qinshuang +3 · 1 citation
    Engineering · Economics, Econometrics and Finance · #Air Traffic Management and Optimization #Aviation Industry Analysis and Trends #Transportation and Mobility Innovations
  68. Efficient Sensitivity Analysis for Parametric Robust Markov Chains
    2023/05/01 by Badings, Thom, Junges, Sebastian, Marandi, Ahmadreza +2 · 1 citation
    #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Optimization and Control (math.OC)
  69. Zero-Shot Transfer of Neural ODEs
    2024/05/14 by Tyler Ingebrand, Ingebrand, Tyler, Adam J. Thorpe +3 · 4 citations
    Physics and Astronomy · #Advanced Optical Sensing Technologies #FOS: Computer and information sciences #Robotics (cs.RO)
  70. On The Planning Abilities of OpenAI's o1 Models: Feasibility, Optimality, and Generalizability
    2024/09/30 by Kevin Wang, Junbo Li, Wang, Kevin +11 · 2 citations
    Computer Science · #Advanced Database Systems and Queries #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Robotics (cs.RO) #Semantic Web and Ontologies
  71. Uncertainty-Guided Enhancement on Driving Perception System via Foundation Models
    2024/10/02 by Yang, Yunhao, Hu, Yuxin, Ye, Mao +5 · 2 citations
    #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences
  72. Joint Verification and Refinement of Language Models for Safety-Constrained Planning
    2024/10/18 by Yang, Yunhao, Bhatt, Neel P., Ward, William +3 · 3 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Robotics (cs.RO)
  73. Specification-Driven Video Search via Foundation Models and Formal Verification
    2023/09/18 by Yunhao Yang, Jean-Raphaël Gaglione, Yang, Yunhao +5 · 1 citation
    Computer Science · #Anomaly Detection Techniques and Applications #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Human Pose and Action Recognition #Multimodal Machine Learning Applications
  74. Coordination in Noncooperative Multiplayer Matrix Games via Reduced Rank Correlated Equilibria
    2024/03/15 by Im, Jaehan, Yu, Yue, Fridovich-Keil, David +1 · 3 citations
    #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #FOS: Electrical engineering #Multiagent Systems (cs.MA) #Systems and Control (eess.SY) #electronic engineering #information engineering
  75. Alpha-Fair Routing in Urban Air Mobility with Risk-Aware Constraints
    2023/09/29 by Yu, Yue, Gao, Zhenyu, Li, Sarah H. Q. +3 · 1 citation
    #FOS: Mathematics #Optimization and Control (math.OC)
  76. Deception in Optimal Control
    2018/05/08 by Ornik, Melkior, Topcu, Ufuk · 1 citation
    #49N90 #93C25 #93C41 #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #I.2.8 #I.2.9 #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
  77. Prebunking Design as a Defense Mechanism Against Misinformation Propagation on Social Networks
    2023/11/23 by Yigit Ege Bayiz, Ufuk Topcu, Bayiz, Yigit Ege +1 · 1 citation
    Computer Science · Social Sciences · #FOS: Computer and information sciences #FOS: Electrical engineering #Misinformation and Its Impacts #Social Media and Politics #Social and Information Networks (cs.SI) #Spam and Phishing Detection #Systems and Control (eess.SY) #electronic engineering #information engineering
  78. Deceptive Sequential Decision-Making via Regularized Policy Optimization
    2025/01/30 by Kim, Yerin, Benvenuti, Alexander, Chen, Bo +5 · 2 citations
    #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Optimization and Control (math.OC)
  79. Online Foundation Model Selection in Robotics
    2024/02/13 by Po-han Li, Oyku Selin Toprak, Li, Po-han +7 · 1 citation
    Engineering · Computer Science · #Advanced Control Systems Optimization #Fuzzy Logic and Control Systems #Fault Detection and Control Systems
  80. Online Active Perception for Partially Observable Markov Decision Processes with Limited Budget
    2019/10/04 by Ghasemi, Mahsa, Topcu, Ufuk · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
  81. Learning and Planning for Time-Varying MDPs Using Maximum Likelihood\n Estimation
    2019/11/29 by Melkior Ornik, Ornik, Melkior, Ufuk Topcu +1 · 1 citation
    Computer Science · Engineering · #Advanced Control Systems Optimization #Data Stream Mining Techniques #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Optimization and Control (math.OC) #Reinforcement Learning in Robotics #Systems and Control (eess.SY) #electronic engineering #information engineering
  82. Human-Agent Coordination in Games under Incomplete Information via Multi-Step Intent
    2024/10/23 by Shenghui Chen, Chen, Shenghui, Ruihan Zhao +5 · 1 citation
    Computer Science · #Reinforcement Learning in Robotics #Rough Sets and Fuzzy Logic #Advanced Decision-Making Techniques
  83. Automaton-Based Representations of Task Knowledge from Generative Language Models
    2022/12/04 by Yunhao Yang, Jean-Raphaël Gaglione, Yang, Yunhao +3 · 1 citation
    Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Natural Language Processing Techniques #Speech and dialogue systems #Topic Modeling
  84. When Should a Leader Act Suboptimally? The Role of Inferability in Repeated Stackelberg Games
    2023/09/30 by Karabag, Mustafa O., Smith, Sophia, Mehr, Negar +2 · 1 citation
    #Artificial Intelligence (cs.AI) #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences
  85. Differential Privacy in Cooperative Multiagent Planning
    2023/01/20 by Bo Chen, Calvin Hawkins, Chen, Bo +9 · 1 citation
    Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Auction Theory and Applications #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Multiagent Systems (cs.MA) #Privacy-Preserving Technologies in Data #Reinforcement Learning in Robotics
  86. Adaptive planning for risk-aware predictive digital twins
    2024/07/30 by Tezzele, Marco, Carr, Steven, Topcu, Ufuk +1 · 1 citation
    #FOS: Mathematics #Numerical Analysis (math.NA)
  87. Reinforcement Learning with Temporal-Logic-Based Causal Diagrams
    2023/06/23 by Yash Paliwal, Rajarshi Roy, Paliwal, Yash +13 · 1 citation
    Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Auction Theory and Applications #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Optimization and Search Problems
  88. Simulator-Driven Deceptive Control via Path Integral Approach
    2023/08/27 by Patil, Apurva, Karabag, Mustafa O., Tanaka, Takashi +1 · 1 citation
    #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
  89. Do LLMs Strategically Reveal, Conceal, and Infer Information? A Theoretical and Empirical Analysis in The Chameleon Game
    2025/01/31 by Karabag, Mustafa O., Sobotka, Jan, Topcu, Ufuk · 1 citation
    #Artificial Intelligence (cs.AI) #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  90. Physical-Layer Security via Distributed Beamforming in the Presence of\n Adversaries with Unknown Locations
    2021/02/28 by Yagiz Savas, Savas, Yagiz, Abolfazl Hashemi +7 · 1 citation
    Computer Science · Engineering · #FOS: Electrical engineering #Privacy-Preserving Technologies in Data #Security in Wireless Sensor Networks #Signal Processing (eess.SP) #Wireless Communication Security Techniques #electronic engineering #information engineering
  91. Neural Port-Hamiltonian Differential Algebraic Equations for Compositional Learning of Electrical Networks
    2024/12/15 by Cyrus Neary, Neary, Cyrus, Nathan Tsao +3 · 1 citation
    Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Control and Stability of Dynamical Systems #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Neural Networks and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
  92. Deceptive Planning for Resource Allocation
    2022/06/02 by Yagiz Savas, Chen, Shenghui, Mustafa O. Karabag +6 · 1 citation
    Computer Science · #Adversarial Robustness in Machine Learning #Reinforcement Learning in Robotics #Distributed Control Multi-Agent Systems
  93. Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization
    2020/01/22 by Suilen, Marnix, Jansen, Nils, Cubuktepe, Murat +1 · 1 citation
    #FOS: Mathematics #Optimization and Control (math.OC)