Robotik Temel Modelleri için Şartnameye Duyarlı Dağıtım Şekillendirme

Robotik temel modelleri, çeşitli görev ve ortamlarda doğal dil talimatlarını yürütmede güçlü yetenekler sergilemiştir. Ancak, büyük ölçüde veriye dayalı kalmakta ve dağıtım sırasında zaman bağımlı şartnamelerin güvenliği ve karşılanması konusunda resmi garantilerden yoksundurlar. Pratikte, robotların genellikle zamana bağlı hedef ziyaretleri, sıralı hedefler ve kalıcı güvenlik koşulları gibi zengin uzamsal-zamansal gereksinimleri içeren operasyonel kısıtlamalara uyması gerekir. B...