( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification Based Synthesis for Behavior Trees.

, , , , , и . SETTA, том 14464 из Lecture Notes in Computer Science, стр. 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.

Li Li

Li Li

Li Li

Li Li

Li Li

 

Другие публикации лиц с тем же именем

Fault-Tolerant and Self-Adaptive Market-Based Coordination Using Hoplites Framework for Multi-Robot Patrolling Tasks., , , , и . RCAR, стр. 514-519. IEEE, (2018)Coalition Formation Game Approach for Task Allocation in Heterogeneous Multi-Robot Systems under Resource Constraints., , , , и . IROS, стр. 3439-3446. IEEE, (2024)XNV: Explainable Network Verification., , , , , и . IEEE/ACM Trans. Netw., 32 (6): 5097-5111 (декабря 2024)Optimizing High-dimensional Learner with Low-Dimension Action Features., , , , и . ISCID (2), стр. 31-34. IEEE, (2019)Dec-SGTS: Decentralized Sub-Goal Tree Search for Multi-Agent Coordination., , , , , и . AAAI, стр. 11282-11289. AAAI Press, (2021)Task Allocation in Heterogeneous Multi-Robot Systems Based on Preference-Driven Hedonic Game., , , и . ICRA, стр. 8967-8972. IEEE, (2024)PMAT: Optimizing Action Generation Order in Multi-Agent Reinforcement Learning., , , , , , , и . CoRR, (февраля 2025)MRBTP: Efficient Multi-Robot Behavior Tree Planning and Collaboration., , , , , , и . CoRR, (февраля 2025)Automated Exposure Mapping for Networked Interference., , , , , и . ICASSP, стр. 1-5. IEEE, (2025)Memory-based Exploration-value Evaluation Model for Visual Navigation., , , , , , и . ICRA, стр. 2011-2017. IEEE, (2023)