Shumpei Tokuda, Masaki Yamakita, Hiroyuki Oyama, Rin Takano. Linear Temporal Logic-based Mixed-Integer Linear Problem Planning with the Koopman Operator. In IECON 2022 - 48th Annual Conference of the IEEE Industrial Electronics Society, Brussels, Belgium, October 17-20, 2022. pages 1-6, IEEE, 2022. [doi]
Abstract is missing.