Sökning: "agents and autonomous systems"

Visar resultat 1 - 5 av 54 avhandlingar innehållade orden agents and autonomous systems.

  1. 1. Engineering Trustworthy Self-Adaptive Autonomous Systems

    Författare :Piergiuseppe Mallozzi; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Machine Learning; Monitoring and enforcement.; Automotive; System Trustworthiness; Autonomous Systems; Runtime verification; Formal Verification;

    Sammanfattning : Autonomous Systems (AS) are becoming ubiquitous in our society. Some examples are autonomous vehicles, unmanned aerial vehicles (UAV), autonomous trading systems, self-managing Telecom networks and smart factories. LÄS MER

  3. 2. Norm autonomous agents

    Författare :Henricus Verhagen; Christiano Castelfranchi; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; data- och systemvetenskap; Computer and Systems Sciences;

    Sammanfattning : .... LÄS MER

  4. 3. Collaborative Adaptive Autonomous Agents

    Författare :Mirgita Frasheri; Mikael Ekström; Baran Çürüklü; Federico Pecora; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Adaptive autonomy;

    Sammanfattning : .... LÄS MER

  5. 4. Autonomous Systems in Society and War : Philosophical Inquiries

    Författare :Linda Johansson; Sven Ove Hansson; Philip Brey; KTH; []
    Nyckelord :HUMANIORA; HUMANITIES; UAVs; drones; military robots; laws of war; justification for killing; ethics of care; care robots; functional morality; moral responsibility; Moral Turing Test; robot morality; artificial agent; artificial agency; autonomy; norms; disruptive technology; co-evolution; scenarios; autonomous systems; security; decision guidance; technology assessment;

    Sammanfattning : The overall aim of this thesis is to look at some philosophical issues surrounding autonomous systems in society and war. These issues can be divided into three main categories. The first, discussed in papers I and II, concerns ethical issues surrounding the use of autonomous systems – where the focus in this thesis is on military robots. LÄS MER

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

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

    Sammanfattning : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. LÄS MER