Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems. Ho, Q. H., Sunberg, Z. N., & Lahijanian, M. Robotics and Automation Letters (RA-L), 2024.
Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems [link]Paper  doi  bibtex   3 downloads  
@article{ho2024samplingbased,
      title={Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems}, 
      author={Qi Heng Ho and Zachary N. Sunberg and Morteza Lahijanian},
      year={2024},
      author+an={2=zach;1=student},
      journal={Robotics and Automation Letters (RA-L)},
      url={https://arxiv.org/abs/2304.06876},
      doi={10.1109/LRA.2023.3340029},
      volume={9},
      number={2}
}

Downloads: 3