メトリック時間論理による連続確率過程の分析

物理システムの時間制約を自然に定義する連続時間MTLの測定可能性を証明。