논문KCI 등재
게임 풀이를 위한 NuSMV의 효율적인 반례 생성
Efficient Counterexample Generation for Game Solving in NuSMV
0
조회
0
다운로드
0
인용
0
참고문헌
주제분류공학
관련 논문AI추천
모델 체킹에서 안전성 위반에 대한 효율적인 반례 생성권기현, 이태훈한국정보처리학회 · 정보처리학회논문지D2005 · 제12권 제1호모델 체킹에서 상태 투영을 이용한 모델의 추상화권기현한국정보처리학회 · 정보처리학회논문지D2004 · 제11권 제6호추상화를 통한 모델의 축소:네모라이즈 게임 사례 연구권기현, 이정림한국정보처리학회 · 정보처리학회논문지D2006 · 제13권 제1호컴퓨터 게임(Computer Game)에 관한 이론적 고찰오동일한국디지털영상학회 · PREVIEW : 디지털영상학술지2006 · 제3권 제1호이산사건 워게임 시뮬레이션을 위한 실시간 병렬 엔진의 설계 및 구현김대석, 김정국, 김진수, 류근호한국정보처리학회 · 정보처리학회논문지. 컴퓨터 및 통신시스템2003 · 제10권 제2호병렬프로그램의 경합조건을 수행 중에 효율적으로 탐지하기 위한 레이블링 기법박소희, 배종민, 우종정, 전용기한국정보처리학회 · 정보처리학회논문지. 컴퓨터 및 통신시스템2002 · 제9권 제4호
이 간행물의 다른 논문 (30건)
공간데이타 마이닝을 위한 효율적인 그리드 셀 기반 공간 클러스터링 알고리즘서영덕, 문상호, 이동규pp. 567-576시계열 데이터베이스에서 복수의 모델을 지원하는 모양 기반 서브시퀀스 검색윤지희, 원정임, 박상현, 김상욱pp. 577-590비공유 공간 클러스터 환경에서 효율적인 병렬 공간 조인 처리 기법정원일, 배해영, 이충호pp. 591-602스키마가 없는 XML 문서에서의 재사용 가능한 XML Schema 추출 기법구연설, 조정길pp. 603-612분산 환경에서의 관계형 데이터베이스를 위한 XML-RPC 인터페이스 설계 및 구현신성욱, 이영욱pp. 613-620