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

Panagiotis Kouvaros Alessio Lomuscio

Published in: IJCAI (2013)

Keyphrases

real time
neural network
information retrieval
systems require
real world
management system
computing systems
formal methods
mobile robot
knowledge based systems
dynamic environments
complex systems
retrieval systems
open systems
automated verification