Zobrazeno 1 - 10
of 16 852
pro vyhledávání: '"Temporal logic"'
Autor:
N.A. Protsenko, V.V. Rybakov
Publikováno v:
Известия Иркутского государственного университета: Серия "Математика", Vol 49, Iss 1, Pp 124-134 (2024)
In this paper we explore the linear logic of multi-agent knowledge using multivalued models. The logic of the language contains the unary operators $K_{j}$ --- $j$ --- the agent knows, $ULK_{G}$ --- unstable local knowledge, $E_{G}$ --- stable local
Externí odkaz:
https://doaj.org/article/c07e8d39eb974724bd5c3c687d27ec5c
Publikováno v:
IET Control Theory & Applications, Vol 18, Iss 8, Pp 998-1006 (2024)
Abstract This paper considers the problem of communication protocols between leaders and its followers for motion planning in an initially partially known environment. In this setting, the leader observes the environment information to satisfy its ow
Externí odkaz:
https://doaj.org/article/46614cea9824430db78668d2279d45e8
Autor:
S. I. Bashmakov, K. A. Smelykh
Publikováno v:
Известия Иркутского государственного университета: Серия "Математика", Vol 47, Iss 1, Pp 78-92 (2024)
This paper deals with multi-agent computation tree logic --- $\mathcal{CTLK}$ (Computation Tree Logic with Knowledge). Each agent represents its own computational route of the initial problem, and new branches of possible computational routes spawn n
Externí odkaz:
https://doaj.org/article/3559a77ad65b40b485a7aee297b90ecd
Publikováno v:
Радіоелектронні і комп'ютерні системи, Vol 2024, Iss 1, Pp 6-16 (2024)
The object of research in this article is the process of modeling programs and their subsequent development. The purpose of this article is to develop a methodology for describing and building software models in the form of nondeterministic finite au
Externí odkaz:
https://doaj.org/article/9b5b023a2e004a41a8f37c6d2daf0635
Publikováno v:
IEEE Access, Vol 12, Pp 56334-56343 (2024)
Real-time audio/video transmission through Internet media is an important part of communication. Due to bandwidth limitations and a noisy environment, delivery of multimedia content to a remote location is not 100% guaranteed. These limitations are t
Externí odkaz:
https://doaj.org/article/00694f983ea640cf90bd24ea940326dd
Autor:
Harth, Andreas, Käfer, Tobias, Rula, Anisa, Calbimonte, Jean-Paul, Kamburjan, Eduard, Giese, Martin
Publikováno v:
Transactions on Graph Data and Knowledge, Vol 2, Iss 1, Pp 1:1-1:32 (2024)
We work towards a vocabulary to represent processes and temporal logic specifications as graph-structured data. Different fields use incompatible terminologies for describing essentially the same process-related concepts. In addition, processes can b
Externí odkaz:
https://doaj.org/article/ed74226a3e7a46faabe51358dc316174
Publikováno v:
Sensors, Vol 24, Iss 16, p 5166 (2024)
Linear temporal logic (LTL) formalism can ensure the correctness of mobile robot planning through concise, readable, and verifiable mission specifications. For uneven terrain, planning must consider motion constraints related to asymmetric slope trav
Externí odkaz:
https://doaj.org/article/4c50f2d196764332a2c98ffa9ee33aba
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Romas Alonderis
Publikováno v:
Lietuvos Matematikos Rinkinys, Vol 45, Iss spec. (2023)
There is not abstract.
Externí odkaz:
https://doaj.org/article/45bc0e5a927d4821863901e1d8812e07
Publikováno v:
IEEE Access, Vol 11, Pp 59840-59853 (2023)
Reinforcement learning (RL) can obtain the supervisory controller for discrete-event systems modeled by finite automata and temporal logic. The published methods often have two limitations. First, a large number of training data are required to learn
Externí odkaz:
https://doaj.org/article/95cbdc88ac204de1b4878639f7d2cd8a