Kengo Kido
D.Sc. University of Tokyo 2018
Dissertation:
Reachability Analysis of Hybrid Systems via Predicate and Relational Abstraction
Mathematics Subject Classification: 94—Information and communication, circuits
Advisor 1: Naoki Kobayashi
Advisor 2: Ichiro Hasuo
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 276503 for the advisor ID.