確率的な信号時間論理仕様を満たすための分散頑健な制御

未知の確率分布を持つ確率的な線形システムに対して、信号時間論理仕様を確率的に満たすための分散頑健な最適制御手法を提案する。