Linear Temporal Logic-based Mixed-Integer Linear Problem Planning with the Koopman Operator.

Shumpei Tokuda, Masaki Yamakita, Hiroyuki Oyama, Rin Takano

Browse the full IECON paper archive.