정형 추론
수학적 논리와 엄격한 규칙을 사용하여 시스템의 동작이 명세에 부합하는지 증명하는 방법이다. 소프트웨어나 알고리즘의 오류가 없음을 논리적으로 보장하기 위해 사용된다.
MARL의 블랙박스를 깨다: 정형 추론으로 구현하는 1,000개 에이전트의 안정성