HIGH-LEVEL PROGRAMMING VIA GENERALIZED PLANNING AND LTL SYNTHESIS

Bibliographische Detailangaben

Veröffentlicht in:	International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2
1. Verfasser:	Bonet, Blai (VerfasserIn)
Weitere Verfasser:	Giacomo, Giuseppe De (VerfasserIn), Geffner, Hector (VerfasserIn), Patrizi, Fabio (VerfasserIn), Rubin, Sasha (VerfasserIn)
Pages:	17
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!