1 result found Sort:

sundw2014
STLPlanning sundw2014
8
50
unknown
2
Path planning from STL (Signal Temporal Logic) specifications
robotics path-planning temporal-logic motion-planning multi-agent-systems signal-temporal-logic
Created 2021-09-10
4 commits to master branch, last one 2 years ago