User: Guest  Login
Title:

Automatic Synthesis of Human Motion from Temporal Logic Specifications

Document type:
Konferenzbeitrag
Author(s):
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...     »
Keywords:
Human Motion Synthesis; LTL; Linear Temporal Logic ; justITSELF
Editor:
IEEE
Book / Congress title:
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Publisher address:
Las Vegas, NV, USA
Year:
2020
Month:
Oct
Pages:
4040-4046
Print-ISBN:
978-1-7281-6211-9
Language:
en
Fulltext / DOI:
doi:10.1109/IROS45743.2020.9341666
 BibTeX