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
Published
| 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