Geodesic

Volume 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: \href{https://doi.org/10.18255/1818-1015-2020-3-304-315}{https://doi.org/10.18255/1818-1015-2020-3-304-315}
p. 510-511