Qi Heng Ho
- 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
- Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic
2022/10/10 by Roland B. Ilyes, Qi Heng Ho, Ilyes, Roland B. +3 · 1 citation
Computer Science · #AI-based Problem Solving and Planning #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
2024/06/05 by Qi Heng Ho, Ho, Qi Heng, Martin S. Feather +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
- Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
2024/08/23 by Karan Muvvala, Muvvala, Karan, Qi Heng Ho +3 · 1 citation
Business, Management and Accounting · Decision Sciences · #Auction Theory and Applications #Computer Science and Game Theory (cs.GT) #Consumer Market Behavior and Pricing #D.2.4 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #I.2.4 #I.2.9 #Logic in Computer Science (cs.LO) #Robotics (cs.RO) #Supply Chain and Inventory Management