TY - RPRT TI - Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems AU - Qi Heng Ho AU - Zachary N. Sunberg AU - Morteza Lahijanian PY - 2023 DO - 10.1109/lra.2023.3340029 UR - https://arxiv.org/abs/2304.06876 ID - 2304.06876 ER -