Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods

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

Cite this

@inproceedings{0981ce4558c44fb98f72c4050a6d15e4,

title = "Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods",

author = "J. Crampton and M. Huth",

note = "To appear",

year = "2011",

language = "English",

booktitle = "Proceedings of the 2011 Workshop on Verification and Validation of Planning and Scheduling Systems",

}