著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Giordano Pola and Maria Domenica Di Benedetto,Control of Cyber-Physical-Systems with logic specifications: A formal methods approach,Annual Reviews in Control,1367-5788,Elsevier BV,2019,47,,178-192,https://cir.nii.ac.jp/crid/1360861710174680704,https://doi.org/10.1016/j.arcontrol.2019.03.010