Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods. / Crampton, J.; Huth, M.

Proceedings of the 2011 Workshop on Verification and Validation of Planning and Scheduling Systems. 2011.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publicationProceedings of the 2011 Workshop on Verification and Validation of Planning and Scheduling Systems
Publication statusPublished - 2011

ID: 2764415