![](/statics/img/blank.png)
MCTK: a symbolic model checker for MAS
라이센스: 무료 파일 크기: N/A
사용자 평가: 4.0/5 - 1 투표
기다리세요... 악의적인 콘텐츠에 대해 다운로드 링크가 확인되고 있습니다.
5초 만에 다운로드할 수 있습니다.
5초 만에 다운로드할 수 있습니다.
에 대해 MCTK: a symbolic model checker for MAS
MCTK(모델 검사 시간 및 지식)는 지식의 시간적 논리 검증을 지원하는 다중 에이전트 시스템의 상징적인 모델 검사기입니다. 그것은 시안규 루오에 의해 NuSMV 2.1.2를 기반으로 개발된다.