Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking

Szczegóły
Abstrakt

Tytuł:: Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking
Autorzy:: Penczek, W.
Lomuscio, A.
Data publikacji:: 2003
Słowa kluczowe:: Computation Tree Logic Knowledge (CTLK)
modal logic
multi-agent systems
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

We present a framework for verifying temporal and epistemic properties of multi-agent systems by means of bounded model checking. We use interpreted systems as underlying semantics. We give details of the proposed technique, and show how it can be applied to the ``attacking generals problem'', a typical example of coordination in multi-agent systems.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking