|
Editorials
|
|
From the editors of the issue
V. A. Zakharov, N. V. Shilov
|
372 |
|
|
Theory of computing
|
|
|
Deriving homing sequences for finite state machines with timed guards
A. S. Tvardovskii, N. V. Yevtushenko
|
376 |
|
|
On the modeling of sequential reactive systems by means of real time automata
E. M. Vinarskii, V. A. Zakharov
|
396 |
|
|
Temporal logic for programmable logic controllers
N. O. Garanina, I. S. Anureev, V. E. Zyubin, S. M. Staroletov, T. V. Liakh, A. S. Rozov, S. P. Gorlatch
|
412 |
|
|
On the model checking problem for some extension of CTL*
A. R. Gnatenko, V. A. Zakharov
|
428 |
|
|
Knowledge-based algorithms for BDI-agents
N. V. Shilov, N. O. Garanina
|
442 |
|
|
InnoChain: a distributed ledger for industry with formal verification on all implementation levels
V. A. Kukharenko, K. V. Ziborov, R. F. Sadykov, A. V. Naumchev, R. M. Rezin, L. A. Merkin-Janson
|
454 |
|
|
Architecture of the formally-verified distributed ledger system innochain
L. A. Merkin-Janson, R. M. Rezin, N. K. Vasilyev
|
472 |
|
|
The “one-fifth rule” with rollbacks for self-adjustment of the population size in the $(1 + (\lambda,\lambda))$ genetic algorithm
A. O. Bassin, M. V. Buzdalov, A. A. Shalyto
|
488 |
|
|
Erratum
|
|
|
Corrigendum to: V. A. Sokolov, “On the existence problem of finite bases of identities in the algebras of recursive functions”, Modeling and Analysis of Information Systems, vol. 27, no. 3, pp. 304–315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315
V. A. Sokolov
|
510 |
