인문학
사회과학
자연과학
공학
의약학
농수해양학
예술체육학
복합학
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
초록·키워드
Conventional multi-agent path finding (MAPF) models agents as points and validates only vertex and edge-swap conflicts. When the same plan is executed by disc robots, geometrically close following turns can collide despite a valid discrete joint action. This paper presents conflict-directed Temporal Geo-LaCAM (Temporal-CD), which integrates finite-disc geometry and continuous-time safety into LaCAM. We precompute an exact squared-clearance profile of every local action pair as a function of the relative start-time offset. When d/D > √2/2, unsafe synchronous turns induce forced temporal precedence constraints. We show that the resulting scheduling problem is a simple temporal problem and extract the agents on each positive cycle to modify only LaCAM's low-level branching order . Temporally infeasible joint actions are rejected exactly, whereas conflict-directed branching changes only variable ordering and never prunes a feasible successor, preserving completeness under the stated motion model. With paired scenarios and random seeds, it solved all 300 MovingAI instances within 5s . On den520d with 1,000 agents, success was 99% and 84% at diameter ratios 0.80 and 0.95, versus 12% and 6% without mixed-sign-cycle branching. Independent continuous-time validation identified no infeasible transitions.
본문·목차
인공지능 문자 인식 모델을 통해 추출된 텍스트로, 일부 오타나 오류가 포함될 수 있으나 지속적으로 개선 중입니다.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.