Author of the publication

Formal Verification Based Synthesis for Behavior Trees.

, , , , , and . SETTA, volume 14464 of Lecture Notes in Computer Science, page 72-91. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal Verification Based Synthesis for Behavior Trees., , , , , and . SETTA, volume 14464 of Lecture Notes in Computer Science, page 72-91. Springer, (2023)Entity Linking Meets Deep Learning: Techniques and Solutions., , , , , and . IEEE Trans. Knowl. Data Eng., 35 (3): 2556-2578 (March 2023)GraphArena: Benchmarking Large Language Models on Graph Computational Problems., , , and . CoRR, (2024)Optimization of Cultural Heritage Protection Patrol Systems., , , , , and . ICAIT, page 244-250. IEEE, (2024)Efficient dual-frequency SSVEP brain-computer interface system exploiting interocular visual resource disparities., , , , , , , and . Expert Syst. Appl., (2024)A novel method for fast detection of high-speed targets., , , , and . Signal Process., (2021)LSketch: A Label-Enabled Graph Stream Sketch Toward Time-Sensitive Queries., , , and . CoRR, (2023)Generalized Deep 3D Shape Prior via Part-Discretized Diffusion Process., , , , , , and . CVPR, page 16784-16794. IEEE, (2023)Sparse Bayesian Learning Based Three-Dimensional Imaging for Antenna Array Radar., , , , and . ICASSP, page 1-5. IEEE, (2023)Quasi-optimal Reinforcement Learning with Continuous Actions., , and . ICLR, OpenReview.net, (2023)