Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems. Ho, Q. H., Sunberg, Z. N., & Lahijanian, M. Robotics and Automation Letters (RA-L), 2024. 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
{"_id":"sFdBtLY8jZxeusd9E","bibbaseid":"ho-sunberg-lahijanian-samplingbasedreactivesynthesisfornondeterministichybridsystems-2024","author_short":["Ho, Q. H.","Sunberg, Z. N.","Lahijanian, M."],"bibdata":{"bibtype":"article","type":"article","title":"Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems","author":[{"firstnames":["Qi","Heng"],"propositions":[],"lastnames":["Ho"],"suffixes":[]},{"firstnames":["Zachary","N."],"propositions":[],"lastnames":["Sunberg"],"suffixes":[]},{"firstnames":["Morteza"],"propositions":[],"lastnames":["Lahijanian"],"suffixes":[]}],"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","bibtex":"@article{ho2024samplingbased,\n title={Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems}, \n author={Qi Heng Ho and Zachary N. Sunberg and Morteza Lahijanian},\n year={2024},\n author+an={2=zach;1=student},\n journal={Robotics and Automation Letters (RA-L)},\n url={https://arxiv.org/abs/2304.06876},\n doi={10.1109/LRA.2023.3340029},\n volume={9},\n number={2}\n}\n\n","author_short":["Ho, Q. H.","Sunberg, Z. N.","Lahijanian, M."],"key":"ho2024samplingbased","id":"ho2024samplingbased","bibbaseid":"ho-sunberg-lahijanian-samplingbasedreactivesynthesisfornondeterministichybridsystems-2024","role":"author","urls":{"Paper":"https://arxiv.org/abs/2304.06876"},"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"article","biburl":"https://www.cu-adcl.org/bibliography/our-pubs.bib","dataSources":["NZPAMogGfq9oGjpKG"],"keywords":[],"search_terms":["sampling","based","reactive","synthesis","nondeterministic","hybrid","systems","ho","sunberg","lahijanian"],"title":"Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems","year":2024,"downloads":3}