@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00147574,
 author = {紫合, 治 and 市川, 杏子 and Osamu, Shigo and Kyoko, Ichikawa},
 book = {ウィンターワークショップ2016・イン・逗子 論文集},
 month = {Jan},
 note = {環境の知識をプロブレムフレームのドメインと要求とし，要求を安定状態と入力イベントと別ドメインの状態の関係で表すことで，要求を満たす仕様 (コントローラ) を生成する方式について述べる．, A controller synthesis method based on the problem frames with stable states and the relationship between an input event and a deferent domain state to generate the required controller is described.},
 pages = {77--78},
 publisher = {情報処理学会},
 title = {プロブレムフレームに基づくコントローラ生成の制約条件},
 volume = {2016},
 year = {2016}
}