信号時間論理タスクのための時間的に堅牢なポリシーの合成における強化学習

制御ポリシーを合成して、信号時間論理タスクの時間的堅牢性を向上させる。