%0 Conference Paper %1 conf/setta/HongCLLHW23 %A Hong, Weijiang %A Chen, Zhenbang %A Li, Minglong %A Li, Yuhan %A Huang, Peishan %A Wang, Ji %B SETTA %D 2023 %E Hermanns, Holger %E Sun, Jun %E Bu, Lei %I Springer %K dblp %P 72-91 %T Formal Verification Based Synthesis for Behavior Trees. %U http://dblp.uni-trier.de/db/conf/setta/setta2023.html#HongCLLHW23 %V 14464 %@ 978-981-99-8664-4

@inproceedings{conf/setta/HongCLLHW23, added-at = {2024-01-13T00:00:00.000+0100}, author = {Hong, Weijiang and Chen, Zhenbang and Li, Minglong and Li, Yuhan and Huang, Peishan and Wang, Ji}, biburl = {https://www.bibsonomy.org/bibtex/27f48396fa6273f891dc6219d9568e26d/dblp}, booktitle = {SETTA}, crossref = {conf/setta/2023}, editor = {Hermanns, Holger and Sun, Jun and Bu, Lei}, ee = {https://doi.org/10.1007/978-981-99-8664-4_5}, interhash = {569bbd49638f4f11f11d5f7cc740eb1a}, intrahash = {7f48396fa6273f891dc6219d9568e26d}, isbn = {978-981-99-8664-4}, keywords = {dblp}, pages = {72-91}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T22:48:11.000+0200}, title = {Formal Verification Based Synthesis for Behavior Trees.}, url = {http://dblp.uni-trier.de/db/conf/setta/setta2023.html#HongCLLHW23}, volume = 14464, year = 2023 }