Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. Formulation of Homeostasis by Realisability on Linear Temporal Logic. In Guy Plantier, Tanja Schultz, Ana L. N. Fred, Hugo Gamboa, editors, Biomedical Engineering Systems and Technologies - 7th International Joint Conference, BIOSTEC 2014, Angers, France, March 3-6, 2014, Revised Selected Papers. Volume 511 of Communications in Computer and Information Science, pages 149-164, Springer, 2014. [doi]
Abstract is missing.