-
training an autonomous agent to ‘learn’ a control strategy. This formalism is similar to that of optimal control, with the difference that the agent does not have an explicit model of the dynamics
-
Mines Albi MAIN ACTIVITIES 1. Carry out the research tasks specified in ORION project • Development of a methodology on which the software tool will be based. • Development of a simulation model of the
Searches related to model checking
Enter an email to receive alerts for model-checking positions