Pianificazione STL Zero-Shot con Selezione di Ramo Disgiuntivo in Mappe Semantiche Dinamiche

Un nuovo risolutore di pianificazione Signal Temporal Logic (STL) zero-shot è stato introdotto dai ricercatori per ambienti a mappa variabile, in grado di produrre traiettorie valide senza necessità di riaddestramento. Questo approccio combina un'architettura Transformer condizionata dalla mappa con un'euristica semplificata per gestire efficacemente le complesse sottoformule disgiuntive (OR). Per mantenere l'ancoraggio temporale e la coerenza logica tra sotto-compiti divisi, viene impiegato l'Apprendimento per Rinforzo Transitivo (TRL). I test su mappe semantiche dinamiche con varie configurazioni di ostacoli mostrano miglioramenti costanti, evidenziando una maggiore generalizzazione zero-shot ad ambienti in evoluzione e un'ampia applicabilità STL.