Automata based formulation: Definitions 

The Self-model of a Chronobot:

            Includes the current set of values for the various criteria and the weights

            that the Chronobot assigns for each of those criteria

    The Alien-model of a Chronobot:

                        Includes the current set of values that the various Chronobots taking part in

            the bidding process assign to the multitude of criteria specified by the Chronobot

            initiating the bid