Verification of Numeric Planning Problems Through Domain Dynamic Consistency
Attributed to:
Artificial Intelligence for Autonomic Urban Traffic Control
funded by
FLF
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-27181-6_12
Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85151047454
Type: Book Chapter
Book Title: AIxIA 2022 - Advances in Artificial Intelligence - XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings (2023)
Page Reference: 171-183