Academic Journals Database
Disseminating quality controlled scientific knowledge

Graph Subsumption in Abstract State Space Exploration

Author(s): Eduardo Zambon | Arend Rensink

Journal: Electronic Proceedings in Theoretical Computer Science
ISSN 2075-2180

Volume: 99;
Issue: Proc. GRAPHITE 2012;
Start page: 35;
Date: 2012;
Original page

In this paper we present the extension of an existing method for abstract graph-based state space exploration, called neighbourhood abstraction, with a reduction technique based on subsumption. Basically, one abstract state subsumes another when it covers more concrete states; in such a case, the subsumed state need not be included in the state space, thus giving a reduction. We explain the theory and especially also report on a number of experiments, which show that subsumption indeed drastically reduces both the state space and the resources (time and memory) needed to compute it.
RPA Switzerland

RPA Switzerland

Robotic process automation


Tango Rapperswil
Tango Rapperswil