Login / Signup
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol.
Bojan Marinkovic
Paola Glavan
Zoran Ognjanovic
Thomas Studer
Published in:
J. Log. Comput. (2019)
Keyphrases
</>
epistemic logic
multi agent systems
probability distribution
autonomous agents
multi faceted
reinforcement learning
probabilistic model
software engineering
computational model
model checking
temporal information
modal logic