spmaniato/spmaniato.github.io
My github.io page. Currently redirects to http://spmaniato.weebly.com
Personal fork of this hard to find ROS package.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
My github.io page. Currently redirects to http://spmaniato.weebly.com
"Open-world Mission Specification for Reactive Robots", ICRA 2014
A toolkit for designing and implementing LTL-based task specifications