Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic

Bibliographische Detailangaben

Veröffentlicht in:	International Conference on Automated Planning and Scheduling (33. : 2023 : Prag) Thirty-third International Conference on Automated Planning and Scheduling (ICAPS 2023)
1. Verfasser:	Bonassi, Luigi (VerfasserIn)
Weitere Verfasser:	Giacomo, Giuseppe De (VerfasserIn), Favorito, Marco (VerfasserIn), Fuggitti, Francesco (VerfasserIn), Gerevini, Alfonso Emilio (VerfasserIn), Scala, Enrico (VerfasserIn)
Pages:	2023
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2023
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!