Solving the AI Planning Plus Scheduling Problem Using Model Checking Via Automatic Translation from the Abstract Plan Preparation Language (Appl) to the Symbolic Analysis Laboratory (Sal)
Publisher: Independently Published
Published: 2019
Language: eng
ISBN-13: 9781794048089