Refining Task Specifications using Model Checking.

Anand Yeolekar, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty

Browse the full RTCSA paper archive.