Cs-Lo
블록 수준 전이 함수 자동 합성: 양화 제거 없이 효율적 구현
비용 파리티·스트리트 게임의 전략과 복잡도
서술 논리에서 순환 최소화 복잡도 분석
설명 논리 기반 지식 행동 체계
시스템 수준 의미론 전능한 상대와 비밀 움직임을 통한 게임 의미론 확장
신호 처리의 연산 의미론
암시적 학습을 통한 PAC 의미론 추론
양당사자 시스템을 위한 계약 이론과 엄격성 분석
양자 회로를 포착하는 선형 논리와 새로운 양자 모달리티
이종 컴퓨팅을 위한 통합 프레임워크
인증이 종결 기법을 확장한다
일차 안정 모델 의미와 일차 루프 공식의 관계 탐구
자연연역식 프로토텍트 입문: 레시니에프스키 논리 교육을 위한 새로운 접근
자유 논리를 이용한 제한된 산술 이론 재구성
적응형 교통신호 시스템의 모델링 및 검증
점진적 제어 합성 확률적 환경 시간 논리 제약 최적화
정제된 귀납적 구성 계산: 파라메트리시와 추상화
제한 만족 문제와 SAT‑솔버의 k‑일관성 시뮬레이션
집합 선호 확장의 불가능성 정리를 자동 탐색하는 SAT 기반 방법
크립키 구조 축소를 위한 두 단계 접근법
트리 자동화된 잘 정렬된 트리의 순위 한계
파스 트리 모델 검증
