Sökning: "Constraint Satisfaction Problem"

Visar resultat 21 - 25 av 28 avhandlingar innehållade orden Constraint Satisfaction Problem.

  1. 21. Exploiting Structure in CSP-related Problems

    Författare :Tommy Färnqvist; Peter Jonsson; Miki Hermann; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : In this thesis we investigate the computational complexity and approximability of computational problems from the constraint satisfaction framework. An instance of a constraint satisfaction problem (CSP) has three components; a set V of variables, a set D of domain values, and a set of constraints C. LÄS MER

  3. 22. Reinforcement Learning Endowed Robot Planning under Spatiotemporal Logic Specifications

    Författare :Peter Varnai; Dimos V. Dimarogonas; Ufuk Topcu; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Formal methods; temporal logic; autonomous systems; reinforcement learning; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Recent advances in artificial intelligence are producing fascinating results in the field of computer science. Motivated by these successes, the desire to transfer and implement learning methods on real-life systems is growing as well. LÄS MER

  4. 23. Human Norms for Robotic Minds

    Författare :Stevan Tomic; Alessandro Saffiotti; Federico Pecora; Antonio Lieto; Örebro universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Interactions within human societies are usually regulated by social norms. When humans fail to cope with norms, their behavior may be perceived as antisocial, amusing, provocative, dumb, or even uncanny, depending on the intention ascribed to the actor by the observer. LÄS MER

  5. 24. Planning and Control of Uncertain Cooperative Mobile Manipulator-Endowed Systems under Temporal Logic Tasks

    Författare :Christos Verginis; Dimos Dimarogonas; Magnus Egerstedt; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; multi-agent systems; cooperative manipulation; formation control; temporal logic; motion planning; adaptive control; funnel control; navigation; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Control and planning of multi-agent systems is an active and increasingly studied topic of research, with many practical applications such as rescue missions, security, surveillance, and transportation. This thesis addresses the planning and control of multi-agent systems under temporal logic tasks. LÄS MER

  7. 25. On Infinite-Domain CSPs Parameterized by Solution Cost

    Författare :George Osipov; Peter Jonsson; Victor Lagerkvist; Robert Ganian; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : In this thesis we study the computational complexity of MinCSP - an optimization version of the Constraint Satisfaction Problem (CSP). The input to a MinCSP is a set of variables and constraints applied to these variables, and the goal is to assign values (from a fixed domain) to the variables while minimizing the solution cost, i.e. LÄS MER