Autor:

Klimek, Radosław

Współtwórca:

Korbicz, Józef (1951- ) - red. ; Uciński, Dariusz - red.

Tytuł:

Towards similarities of interpretations of temporal logic formulae

Tytuł publikacji grupowej:

AMCS, volume 7 (1997)

Temat i słowa kluczowe:

sterowanie ; sterowanie-teoria ; sztuczna inteligencja ; matematyka stosowana ; informatyka

Abstract:

The paper deals with similarities of interpretations of temporal logic formulae. Two basic similarities are defined and some theorems towards these similarities are given. An application of similarities is presented based on the example of a typical car ferry. The analysis of the system employs the model checking method.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Data wydania:

1997

Typ zasobu:

artykuł

Strony:

689-700

Źródło:

AMCS, volume 7, number 3 (1997) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Licencja CC BY 4.0:

kliknij tutaj, żeby przejść

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego