search

VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.
http://ltlmop.github.io
GNU General Public License v3.0
56 stars 69 forks source link

Core-finding #79

Open vraman opened 9 years ago

vraman commented 9 years ago

This branch contains the core-finding modules for use in debugging specifications (cf. my IROS and RSS 2013 papers).