Wszystkie pola: logic systems

Skocz do pozycji: 1.

Tytuł:: Model Checking Temporal Properties of Reaction Systems
Autorzy:: Męski, A.
Penczek, W.
Rozenberg, G.
Data publikacji:: 2014
Słowa kluczowe:: reaction systems
model checking
temporal logic
systemy reakcyjne
weryfikacja modelowa
logika temporalna; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Model Checking Temporal Properties of Reaction Systems
Weryfikacja temporalnych własności systemów reakcyjnych
Autorzy:: Męski, A.
Penczek, W.
Rozenberg, G.
Data publikacji:: 2014
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: reaction systems
model checking
temporal logic
systemy reakcyjne
weryfikacja modelowa
logika temporalna; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

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; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: From Bounded to Unbounded Model Checking for Temporal Epistemic Logic
Autorzy:: Kacprzak, M.
Lomuscio, A.
Penczek, W.
Data publikacji:: 2004
Słowa kluczowe:: multi-agent systems
temporal epistemic logic
model checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Bounded Model Checking for the Universal Fragment of CTL
Autorzy:: Penczek, W.
Woźna, B.
Zbrzezny, A.
Data publikacji:: 2002
Słowa kluczowe:: bounded model checking
logic ACTL (ECTL)
bounded semantics
translation to SAT
elementary eet systems
system verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations
Autorzy:: Męski, A.
Koutny, M.
Penczek, W.
Data publikacji:: 2017
Słowa kluczowe:: reaction system
bounded model checking
linear time temporal logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Towards partial order reductions for fragments of alternating-time temporal logic
Autorzy:: Dembiński, P.
Jamroga, W.
Mazurkiewicz, A.
Penczek, W.
Data publikacji:: 2016
Słowa kluczowe:: Alternating-Time Temporal Logic
asynchronous systems
partial order reduction
traces
logika temporalna czasu alternującego
systemy asynchroniczne
redukcje częścio-porządkowe
ślady; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Bounded Model Cheking for Interpreted Systems
Autorzy:: Penczek, W.
Lomuscio, A.
Data publikacji:: 2002
Słowa kluczowe:: logiki temporalne
interpretowane systemy
logika wiedzy
ograniczona weryfikacja modelowa
translacja do SAT
weryfikacja systemów
interpreted systems
temporal logics
logic for knowledge
bounded model checking
translation to SAT
system verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Towards partial order reductions for fragments of alternating-time temporal logic
O redukcjach częścio-porządkowych dla fragmentów logiki temporalnej czasu alternatywnego
Autorzy:: Dembiński, P.
Jamroga, W.
Mazurkiewicz, A.
Penczek, W.
Data publikacji:: 2016
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: Alternating-Time Temporal Logic
asynchronous systems
partial order reduction
traces
logika temporalna czasu alternującego
systemy asynchroniczne
redukcje częścio-porządkowe
ślady; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja