Open AccessDecidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems
Author(s) -
Francesco Belardinelli,
Alessio Lomuscio
Publication year - 2013
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - artifact (error) , decidability , computer science , programming language , model checking , algorithm , theoretical computer science , artificial intelligence