Yutaka OIWA


Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver
Yoshinao ISOBE Hisabumi HATSUGAI Akira TANAKA Yutaka OIWA Takanori AMBE Akimasa OKADA Satoru KITAMURA Yamato FUKUTA Takashi KUNIFUJI 
Publication:   
Publication Date: 2019/02/01
Vol. E102-A  No. 2  pp. 325-335
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
formal approachtrain timetablemesoscopic modelperiodic timetableSMT-Solverrailway capacity
 Summary | Full Text:PDF