Omar Adalat, Daniele Scrimieri, Savas Konur. Optimal Manufacturing Controller Synthesis Using Situation Calculus. In Max Bramer, Frederic T. Stahl, editors, Artificial Intelligence XL - 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings. Volume 14381 of Lecture Notes in Computer Science, pages 222-227, Springer, 2023. [doi]
Abstract is missing.