Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
Volltext verfügbar? / Dokumentlieferung
doi:10.22028/D291-29300
Titel: | Star-Topology Decoupling in SPIN |
VerfasserIn: | Gnad, Daniel Dubbert, Patrick Lluch, Alberto Hoffmann, Jörg |
HerausgeberIn: | del Mar Gallardo, Maria Merino, Pedro |
Sprache: | Englisch |
Titel: | Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings |
Startseite: | 103 |
Endseite: | 114 |
Verlag/Plattform: | Springer |
Erscheinungsjahr: | 2018 |
Erscheinungsort: | Cham |
Titel der Konferenz: | SPIN 2018 |
Konferenzort: | Malaga, Spain |
Dokumenttyp: | Konferenzbeitrag (in einem Konferenzband / InProceedings erschienener Beitrag) |
Abstract: | Star-topology decoupling is a state space search method recently introduced in AI Planning. It decomposes the input model into components whose interaction structure has a star shape. The decoupled search algorithm enumerates transition paths only for the center component, maintaining the leaf-component state space separately for each leaf. This is a form of partial-order reduction, avoiding interleavings across leaf components. It can, and often does, have exponential advantages over stubborn set pruning and unfolding. AI Planning relates closely to model checking of safety properties, so the question arises whether decoupled search can be successful in model checking as well. We introduce a first implementation of star-topology decoupling in SPIN, where the center maintains global variables while the leaves maintain local ones. Preliminary results on several case studies attest to the potential of the approach. |
URL der Erstveröffentlichung: | https://link.springer.com/chapter/10.1007/978-3-319-94111-0_6 |
Link zu diesem Datensatz: | hdl:20.500.11880/28411 http://dx.doi.org/10.22028/D291-29300 |
ISBN: | 978-3-319-94111-0 |
Datum des Eintrags: | 3-Dez-2019 |
Fakultät: | MI - Fakultät für Mathematik und Informatik |
Fachrichtung: | MI - Informatik |
Professur: | MI - Prof. Dr. Jörg Hoffmann |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Es gibt keine Dateien zu dieser Ressource.
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.