1 result found Sort:

sundw2014
STLPlanning sundw2014
8
46
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 about a year ago