LTLMoP: Experimenting with language, Temporal Logic and robot control. The Linear Temporal Logic MissiOn Planning (LTLMoP) toolkit is a software package designed to assist in the rapid development, implementation, and testing of high-level robot controllers. In this toolkit, structured English and Linear Temporal Logic are used to write high-level reactive task specifications, which are then automatically transformed into correct robot controllers that can be used to drive either a simulated or a real robot. LTLMoP’s modular design makes it ideal for research in areas such as controller synthesis, semantic parsing, motion planning, and human-robot interaction.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo: PuRSUE -- from specification of robotic environments to synthesis of controllers (2020)
- Schmuck, Anne-Kathrin; Majumdar, Rupak; Leva, Adrian: Dynamic hierarchical reactive controller synthesis (2017)