[2305.02938] Off-Road Navigation of Legged Robots Using Linear Transfer Operators