Verification of agent navigation in partially-known environments

Aminof, B; Murano, A; Rubin, S; Zuleger, F

Rubin, S (通讯作者),Univ Sydney, Sydney, NSW, Australia.

ARTIFICIAL INTELLIGENCE, 2022; 308 ():