A loop acceleration technique to speed up verification of automatically generated plans.

Published in: Int. J. Softw. Tools Technol. Transf. (2014)

Keyphrases