Search for dissertations about: "Turing machine"

Found 3 swedish dissertations containing the words Turing machine.

  2. 1. Robots and Moral Agency

    Author : Linda Johansson; Sven Ove Hansson; Björn Petersson; KTH; []
    Keywords : HUMANIORA; HUMANITIES; machine ethics; UAV; laws of war; robot morality; moral agency; Moral; Turning Test; Philosophy subjects; Filosofiämnen;

    Abstract :   Machine ethics is a field of applied ethics that has grown rapidly in the last decade. Increasingly advanced autonomous robots have expanded the focus of machine ethics from issues regarding the ethical development and use of technology by humans to a focus on ethical dimensions of the machines themselves. READ MORE

  4. 2. Infinite-state Stochastic and Parameterized Systems

    Author : Noomene Ben Henda; Parosh Abdulla; Christel Baier; Uppsala universitet; []
    Keywords : program verification; model checking; stochastic games; infinite-state systems; Markov chains; reachability; repeated reachability; parameterized systems; approximation; safety; tree systems;

    Abstract : A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such as stacks, queues, clocks, integers; as well as parameterization. READ MORE

  5. 3. Complexity-aware Decision-making with Applications to Large-scale and Human-in-the-loop Systems

    Author : Elis Stefansson; Karl H. Johansson; Henrik Sandberg; Iman Shames; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Complexity-aware Decision-making; Automata Theory; Automatic Control; Optimal Control; Kolmogorov Complexity; Hierarchical Finite State Machines; Large-scale Systems; Human-in-the-loop; Game Theory; Human Decision-making; Autonomous vehicles; Electrical Engineering; Elektro- och systemteknik;

    Abstract : This thesis considers control systems governed by autonomous decision-makers and humans. We formalise and compute low-complex control policies with applications to large-scale systems, and propose human interaction models for controllers to compute interaction-aware decisions. READ MORE