Essays about: "Paul Rousse"
Found 1 essay containing the words Paul Rousse.
-
1. Multi agent control with LTL specifications and abstraction with input memories
University essay from KTH/ReglerteknikAbstract : Formal controller synthesis methods with temporal logic specications tryto guarantee the correctness of given specications with a system that mighthave complex behaviour. Most often, discrete abstractions of a continuoussystem are used in order to reduce the size of the problem. READ MORE
Result pages:
1