%0 Conference Paper %1 conf/fmics/HennVKTPB22 %A Henn, Thomas %A Völker, Marcus %A Kowalewski, Stefan %A Trinh, Minh %A Petrovic, Oliver %A Brecher, Christian %B FMICS %D 2022 %E Groote, Jan Friso %E Huisman, Marieke %I Springer %K dblp %P 211-225 %T Verification of Behavior Trees using Linear Constrained Horn Clauses. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2022.html#HennVKTPB22 %V 13487 %@ 978-3-031-15008-1

@inproceedings{conf/fmics/HennVKTPB22, added-at = {2022-09-10T00:00:00.000+0200}, author = {Henn, Thomas and Völker, Marcus and Kowalewski, Stefan and Trinh, Minh and Petrovic, Oliver and Brecher, Christian}, biburl = {https://www.bibsonomy.org/bibtex/23793ea3b8074a52efa5aef92dbf11d97/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2022}, editor = {Groote, Jan Friso and Huisman, Marieke}, ee = {https://doi.org/10.1007/978-3-031-15008-1_14}, interhash = {b161fb0c883253889f1792fc358748e3}, intrahash = {3793ea3b8074a52efa5aef92dbf11d97}, isbn = {978-3-031-15008-1}, keywords = {dblp}, pages = {211-225}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:56:19.000+0200}, title = {Verification of Behavior Trees using Linear Constrained Horn Clauses.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2022.html#HennVKTPB22}, volume = 13487, year = 2022 }