Sökning: "John Kvarnefalk"

Hittade 2 uppsatser innehållade orden John Kvarnefalk.

  1. 1. A study of Pseudo-tested Methods in an Android Continuous Integration Environment

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :John Kvarnefalk; [2020]
    Nyckelord :;

    Sammanfattning : As mobile devices become more capable and mobile adaption grows across the world, the complexity of mobile applications increases. For example, mobile applications let consumers view their banking details and legitimize themselves. With mobile applications serving these crucial functions, the need for quality and robustness increases. LÄS MER

  3. 2. Optimal task planning in multi-vehicle systems under syntactically co-safe Linear Temporal Logic

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Gustav Hedengran; John Kvarnefalk; [2018]
    Nyckelord :;

    Sammanfattning : Autonomous vehicles need to be able to perform different instructions during different missions and situations. For task specification, logical languages are often used. Depending on desired expressiveness, there are different methods of task specification and planning. LÄS MER