Sunberg, Zachary N.

1. Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications
   2022/07/08 by Qi Heng Ho, Ho, Qi Heng, Roland B. Ilyes +5 · 2 citations
   Biochemistry, Genetics and Molecular Biology · Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #Receptor Mechanisms and Signaling #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Inference-Based Strategy Alignment for General-Sum Differential Games
   2020/02/11 by Lasse Peters, David Fridovich-Keil, Peters, Lasse +5 · 2 citations
   Computer Science · Decision Sciences · #Artificial Intelligence in Games #Reinforcement Learning in Robotics #Simulation Techniques and Applications
3. APF-PF: Probabilistic Depth Perception for 3D Reactive Obstacle\n Avoidance
   2020/10/15 by Shakeeb Ahmad, Ahmad, Shakeeb, Zachary N. Sunberg +3 · 1 citation
   Computer Science · Engineering · #Advanced Vision and Imaging #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Robotics and Sensor-Based Localization #Systems and Control (eess.SY) #Target Tracking and Data Fusion in Sensor Networks #electronic engineering #information engineering
4. Optimized and Trusted Collision Avoidance for Unmanned Aerial Vehicles using Approximate Dynamic Programming (Technical Report)
   2016/02/15 by Zachary N. Sunberg, Mykel J. Kochenderfer, Sunberg, Zachary N. +3 · 1 citation
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Air Traffic Management and Optimization #Autonomous Vehicle Technology and Safety #FOS: Computer and information sciences #Robotics (cs.RO)
5. Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
   2024/06/05 by Qi Heng Ho, Martin S. Feather, Ho, Qi Heng +7 · 1 citation
   Business, Management and Accounting · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Optimization and Packing Problems #Robotics (cs.RO) #Supply Chain and Inventory Management #Systems and Control (eess.SY) #Vehicle Routing Optimization Methods #electronic engineering #information engineering