Sökning: "Buchi Great"

Hittade 1 uppsats innehållade orden Buchi Great.

  1. 1. A Discrete Büchi Automata Distance for Formal Methods Based Control

    Master-uppsats, KTH/Reglerteknik

    Författare :Garrett Thomas; [2017]
    Nyckelord :;

    Sammanfattning : Formal methods are valuable design validation techniques which ensure thecorrectness of hardware and software design. Recently, the formal methodstechnique of model checking using temporal logics has shown great promisein the field of control and task planning synthesis, as it allows for the formulationof complex tasks and provides an automatic and exhaustive search of allpossible paths. LÄS MER