"峰尾太陽,石井大輔,渡部卓雄","時相論理式の反証を用いた制御器のチューニング","電子情報通信学会 システム数理と応用研究会","信学技報",,"Vol. 115","No. 480","pp. 61-66",2016,Mar.