Sampling-based Reactive Synthesis for Nondeterministic Hybrid SystemsFeb 20, 2024·Qi Heng Ho,Zachary Sunberg,Morteza Lahijanian· 0 min readType2PublicationRobotics and Automation Letters (RA-L)Last updated on Nov 13, 2024 ← Recursively-Constrained Partially Observable Markov Decision Processes Nov 6, 2024Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides Sep 23, 2023 →