離散的な意思決定システムに対する時間論理仕様に基づく反応型テストの合成

本研究では、時間論理仕様に基づいて、システムの要件と未知のテスト目的を満たすような、最小限の制約で反応型のテスト環境を合成する手法を提案する。