Tᴏᴏʟ: accessible automated reasoning for human robot collaboration

Specification, stochastic modeling and analysis of interactive service robotic applications

“…As per Section 7.2, the literature is rich with DSLs for the robotic domain, but proposals targeting interactive applications are lacking. Specifically, existing works target the manufacturing sector [98,99] or very specific tasks from the healthcare setting [100], whereas the service sector calls for more general-purpose primitives to define how robots and humans interact. Other works propose a high-level specification of mission patterns for multi-robot teams in environments (possibly) populated by humans [46,12], but this has not been attempted for applications where humans are actively involved as in the domain of this framework.…”

“…Gavran et al [98] introduce the Tool DSL to specify collaborative assembly tasks in the manufacturing sector through a textual notation that is accessible to non-experts. Detzner et al [99] present LoTLan, a DSL to describe material flow processes in warehouses.…”