be friendlier when initial state violates some assumption

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

Open cfinucane opened 11 years ago

cfinucane commented 11 years ago

e.g. "make a simulation popup: "You specified the simulation should start in region X, but there's no initial state with that region.""