실시간 위험 인지 다중 에이전트 시스템의 STL 사양에 따른 작업 할당

확률적 보장을 가진 실시간 작업 할당을 위해 STL 사양을 개별 에이전트 수준으로 분해하고, 강건성 기반 휴리스틱 필터링과 경매 기반 할당을 수행한다.