Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

1 2003

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: nieograniczona weryfikacja modelowa

Sortuj według:

Ogranicz wyniki do:

Unbounded Model Checking for Knowledge and Time

Kacprzak M., Lomuscio A., Penczek W.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2003

Nr 966

1-27

We present an approach to the problem of verification of epistemic properties in multi-agent systems by means of symbolic model checking. In particular, it isshown how to extend the technique of unbounded model checking from a purely temporal setting to a temporal-epistemic one. In order to achieve this, we baseour discussion on interpreted systems semantics, a popular semantics used in multi-agent systems literature. We give details of the technique and show howit can be applied to the well known train, gate and controller problem.

Nieograniczona weryfikacja modelowa dla systemów z wiedzą i czasem. Praca dotyczy problemu weryfikacji epistemicznych własności systemów wieloagentowych za pomocą symbolicznej weryfikacji modelowej. Pokazujemy jak poszerzyć technikę zwaną nieograniczoną weryfikacją modelową stosowaną do badania temporalnych własności systemów tak, aby można było ją wykorzystać również do analizowania epistemicznych własności. W tym celu bazujemy na interpretowanych systemach - popularnej semantyce szeroko opisywanej w literaturze dotyczącej systemów wieloagentowych. Podajemy szczegóły techniki oraz demonstrujemy zastosowanie jej do znanego problemu kontroli przejazdów kolejowych.