Geodesic

Tome 27 (2020) no. 4

Sommaire

From the editors of the issue
p. 372-374
Deriving homing sequences for finite state machines with timed guards
p. 376-395
On the modeling of sequential reactive systems by means of real time automata
p. 396-411
Temporal logic for programmable logic controllers
p. 412-427
On the model checking problem for some extension of CTL*
p. 428-441
Knowledge-based algorithms for BDI-agents
p. 442-453
InnoChain: a distributed ledger for industry with formal verification on all implementation levels
p. 454-471
Architecture of the formally-verified distributed ledger system innochain
p. 472-487
The “one-fifth rule” with rollbacks for self-adjustment of the population size in the $(1 + (\lambda,\lambda))$ genetic algorithm
p. 488-508
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
p. 510-511