Benutzer: Gast  Login
Titel:

Automatic Synthesis of Human Motion from Temporal Logic Specifications

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Matthias Althoff, Matthias Mayer, Robert Müller
Abstract:
Humans and robots are increasingly sharing theirworkspaces to benefit from the precision, endurance, andstrength of machines and the universal capabilities of humans.Instead of performing time-consuming real experiments, com-puter simulations of humans could help to optimally orchestratehuman and robotic tasks—either for setting up new productioncells or by optimizing the motion planning of already installedrobots. Especially when human-robot coexistence is optimizedusi...     »
Stichworte:
Human Motion Synthesis; LTL; Linear Temporal Logic ; justITSELF
Herausgeber:
IEEE
Kongress- / Buchtitel:
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Verlagsort:
Las Vegas, NV, USA
Jahr:
2020
Monat:
Oct
Seiten:
4040-4046
Print-ISBN:
978-1-7281-6211-9
Sprache:
en
Volltext / DOI:
doi:10.1109/IROS45743.2020.9341666
 BibTeX