Qi Heng Ho
ABSTRACT
No abstract available.
- Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. The MIT Press, Cambridge, MA.Google Scholar
Digital Library
- Amit Bhatia, Lydia E. Kavraki, and Moshe Y. Vardi. 2010. Sampling-based motion planning with temporal goals. In Int’l Conf. on Robotics and Auto.2689–2696.Google ScholarCross Ref
- Giuseppe De Giacomo and Moshe Y. Vardi. 2013. Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. In Int. Joint Conf. on Artificial Intelligence. AAAI Press, 854–860.Google Scholar
- Jonathan D. Gammell, Siddhartha S. Srinivasa, and Timothy D. Barfoot. 2014. Informed RRT*: Optimal sampling-based path planning focused via direct sampling of an admissible ellipsoidal heuristic. In Int. Conf. on Intelligent Robots and Systems. 2997–3004.Google ScholarCross Ref
- Kris Hauser and Yilun Zhou. 2016. Asymptotically optimal planning by feasible kinodynamic planning in a state–cost space. IEEE Trans. on Robotics 32, 6 (2016).Google ScholarDigital Library
- Qi Heng Ho, Roland B. Ilyes, Zachary N. Sunberg, and Morteza Lahijanian. 2022. Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications. In Conference on Decision and Control. 3243–3249.Google Scholar
- Roland B. Ilyes, Qi Heng Ho, and Morteza Lahijanian. 2023. Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic. In Int’l Conf. on Robotics and Automation. IEEE.Google Scholar
- Steven M. LaValle and Jr. James J. Kuffner. 2001. Randomized Kinodynamic Planning. Int. Journal of Robotics Research 20, 5 (2001), 378–400.Google ScholarCross Ref
- Ryan Luna, Morteza Lahijanian, Mark Moll, and Lydia E. Kavraki. 2015. Asymptotically Optimal Stochastic Motion Planning with Temporal Goals. Springer International Publishing, 335–352.Google Scholar
- Oded Maler and Dejan Nickovic. 2004. Monitoring Temporal Properties of Continuous Signals. In Formal Techniq., Model. and Analy. of Timed and Fault-Tolerant Sys.Springer, 152–166.Google Scholar
Index Terms
- Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty
Recommendations
Abstract data types and high-level synthesis
DAC '90: Proceedings of the 27th ACM/IEEE Design Automation ConferencePrevious data abstraction efforts in software and hardware description have approached abstract data types from a specification and simulation standpoint. This paper addresses the use of abstract data types for high-level synthesis. Data types are ...
SystemCoDesigner—an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications
With increasing design complexity, the gap from ESL (Electronic System Level) design to RTL synthesis becomes more and more crucial to many industrial projects. Although several behavioral synthesis tools exist to automatically generate synthesizable ...
Comments