Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems.

Francesco Belardinelli, Alessio Lomuscio

Browse the full IJCAI paper archive.