Search for dissertations about: "Daniele Magazzeni"

Found 1 swedish dissertation containing the words Daniele Magazzeni.

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

   Author : Philipp Schillinger; Dimos V. Dimarogonas; Daniele Magazzeni; KTH; []
   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