Search for dissertations about: "Philipp Schillinger"

Found 2 swedish dissertations containing the words Philipp Schillinger.

  1. 1. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

    University dissertation from Stockholm : KTH Royal Institute of Technology

    Author : Philipp Schillinger; KTH.; [2017]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ltl; robot; robotics; multi-agent; behavior synthesis; formal methods; decomposition; high-level planning; multi-objective search; resource constraints; Electrical Engineering; Elektro- och systemteknik;

    Abstract : While autonomous robot systems are becoming increasingly common, their usage is still mostly limited to rather simple tasks. This primarily results from the need for manually programming the execution plans of the robots. Instead, as shown in this thesis, their behavior can be automatically generated from a given goal specification. READ MORE

  2. 2. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

    University dissertation from KTH Royal Institute of Technology

    Author : Philipp Schillinger; KTH.; [2019]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-Robot Systems; Linear Temporal Logics; LTL; Robotics; Behavior Synthesis; Constrained Planning; Planning under Uncertainty; Multi-Agent Planning; Task Allocation; Mission Decomposition; Formal Methods; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Autonomous robot systems are becoming increasingly common in service applications and industrial scenarios. However, their use is still mostly limited to rather simple tasks. This primarily results from the considerable effort that is required to manually program the execution plans of the robots. READ MORE