Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems

Qi Heng Ho, Zachary Sunberg, Morteza Lahijanian
February, 2024
Type
Journal article
Publication
Robotics and Automation Letters (RA-L)