Starters, no protocol is stable over a probabilistic network unless it has a timeout, agreed by both side. The timeout leads to stable outcome known to both sides.
Trader bots have a strategy,when they have their own thread. They will drop to a depth of four, then pause, savings cycles on the graph. They can go down, to the right, and take a rest. The bots will take a rest just above the sport where the re-quantization takes place. They will wake up and take a peek, if they see green,they hit the CONTINUE flag and drop down the net.
That is OK,but the timeout is published. It is part of critical stability, insures secure digits don't get lost. Since the bot's movements are bounded anyway, it is a simple task, I am sure, to formally verify that every bot code responds properly to the timeout interrupt. If not, the site owner complains to his bonded code verifier.
No comments:
Post a Comment