Sort by
Refine Your Search
-
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
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions