部分観測離散事象システムにおける認識論的性質: 統一的な枠組みとその応用

部分観測離散事象システムにおいて、複数の観測者が独立に観測する場合の認識論的性質を定義し、その検証手法を提案する。