Learning an Optimal Control Policy for a Markov Decision Process Under Linear Temporal Logic Specifications. - Masaki Hiromoto; Toshimitsu Ushio (SSCI, 2015)

WiP Abstract: A Mixed Logical Dynamical System Model for Taxi Cruising Support System. - Toshimitsu Ushio; Masaki Hiromoto; Akiyoshi Okamoto; Tomoaki Akiyama (ICCPS, 2016)