Cs-Lo
가격이 부여된 연속 시간 페트리망의 최적 커버 비용 계산
MSO2 모델 검사의 복잡도 하한: 트리폭과 서브그래프 폐쇄성의 새로운 경계
자동화된 테이블라우 계산법 합성
확률적 모델 기반 안전 분석 동기식 병렬 시스템을 위한 정량적 접근
정수 영역에서 종료를 보장하는 단조성 제약
확률적 타이머 자동자에서의 정량적 게임 해법
설명 논리의 동형성 연구와 최소화 기법
TRX 형식 검증 파서 인터프리터
변수 치환을 통한 함수 제약 해결
초거리와 일반화 초거리의 논리 및 데이터 분석 활용
종속쌍 프레임워크와 다중재귀 파생 복잡도
유한 다값 논리의 진리불변 함축을 위한 이진 시퀀스 연산 체계
포인터 프로그램 검증을 위한 지역 추론과 전후 상태 논리
게임 이론으로 푸는 쿠르첼 정리: 실용적 접근
BSS 연산에서 오라클 크기의 한계
효율적인 재작성 구현 재조명
다항시간 포착 논리와 코다랄·선 그래프의 복합성
그래픽 Z X 계산을 통한 3큐빗 얽힘 분석
제네릭 트레이스와 제약조건 표준 재조명
표현력에 따른 지시 표현 생성의 새로운 시각
무러 게임을 빠르게 판정하기
언어 제한 확장 CTL: 모델 검증을 위한 새로운 접근
