A Cutoff Technique for the Verification of Parameterised Interpreted Systems with Parameterised Environments.

Panagiotis Kouvaros, Alessio Lomuscio

Browse the full IJCAI paper archive.