@inproceedings{CTT100652165,
  author = {畑中健志 and 岡崎陽平 and 藤田政之},
  title = {エネルギー管理のためのReceding Horizon Temporal Logicによるロジックの系統的設計},
  booktitle = {},
  year = 2012,
}