Search for dissertations about: "formal method"

Showing result 6 - 10 of 236 swedish dissertations containing the words formal method.

  2. 6. On Provably Correct Decision-Making for Automated Driving

    Author : Yuvaraj Selvaraj; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; deductive verification; formal methods; supervisory control theory; formal verification; Automated driving; model checking; hybrid systems.; decision-making;

    Abstract : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. READ MORE

  4. 7. Concept Formation in Mathematics

    Author : Jörgen Sjögren; Högskolan i Skövde; []
    Keywords : HUMANIORA; HUMANITIES; Explication; Power of arithmetical theories; Formal proof; Informal proof; Indispensability; Mathematical realism; Naturvetenskap; Natural sciences; Explication; Power of arithmetical theories; Formal Proof; Informal proof; Indispensability; Mathematical Realism;

    Abstract : This thesis consists of three overlapping parts, where the first one centers around the possibility of defining a measure of the power of arithmetical theories. In this part a partial measure of the power of arithmetical theories is constructed, where “power” is understood as capability to prove theorems. READ MORE

  5. 8. Games in Formal Educational Settings : Obstacles for the development and use of learning games

    Author : Björn Berg Marklund; Per Backlund; Henrik Engström; Maurice Hendrix; Högskolan i Skövde; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Learning games; educational games; game development and use; Technology; Teknik;

    Abstract : From the perspective of educators, games are viewed as a medium in which the younger generation both thrive and excel. Students navigate game environments with ease and regularly solve problems, engage in advanced collaborative efforts, and communicate complex concepts and strategies to one another during their private gaming sessions at home. READ MORE

  6. 9. Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance

    Author : Rong Gu; Cristina Seceleanu; Kristina Lundqvist; Eduard Paul Enoiu; Rajeev Alur; Mälardalens universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; autonomous agents; synthesis; verification; planning; collision avoidance; formal methods; model checking; Computer Science; datavetenskap;

    Abstract : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. READ MORE

  7. 10. Learning by knowledge reconstruction : a subject and its method

    Author : Lasse Rabenius; Stockholms universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Psykologi; Kognitiv Inlärning;

    Abstract : The central issue of this study is knowledge constructions. A double perspective penetrates investigations: constructions in man and in science.The human perspective focuses on a psychological question of learning: the spontaneous acquisition of new knowledge in the individual. READ MORE