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 proceeding › Conference contribution
Original language | English |
---|---|
Title of host publication | Proceedings of the 2011 Workshop on Verification and Validation of Planning and Scheduling Systems |
Publication status | Published - 2011 |
ID: 2764415