Project Details
Projekt
Formalizations and properties of plans ((06) P04+)
Subject Area
Image and Language Processing, Computer Graphics and Visualisation, Human Computer Interaction, Ubiquitous and Wearable Computing
Term
from 2017 to 2021
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 329551904
The topic of this project is to formalize and draw inferences about the guaranteed behavior of a plan. Given a formal model of the plan and additional requirements for its execution (or, alternatively, a set of behavior samples), the project investigates robot activities to warrant safe plan progression, to predict future plan evolutions, and to give recommendations for plan improvement. It contributes to the trend of inherently safe robotic systems.
DFG Programme
Collaborative Research Centres
Applicant Institution
Universität Bremen
Project Heads
Professor Dr. Rolf Drechsler; Professor Dr.-Ing. Daniel Große, until 6/2021
