@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00053385,
 author = {木戸, 肩吾},
 month = {Mar},
 note = {学位の種別: 課程博士, 審査委員会委員 : （主査）東京大学教授 萩谷 昌己, 東京大学教授 須田 礼仁, 東京大学准教授 吉本 芳英, 東京大学准教授 加藤 真平, 名古屋大学教授 結縁 祥治},
 title = {Reachability Analysis of Hybrid Systems via Predicate and Relational Abstraction},
 year = {2018}
}