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)Efficient dual-frequency SSVEP brain-computer interface system exploiting interocular visual resource disparities., , , , , , , and . Expert Syst. Appl., (2024)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)Gentopia: A Collaborative Platform for Tool-Augmented LLMs., , , , , , , , , and . CoRR, (2023)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)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)Evolving Network Modeling Driven by the Degree Increase and Decrease Mechanism., , and . CoRR, (2024)