search

VerifiableRobotics / LTLMoPWeb3D

A website for Cornell's Autonomous Systems Lab to essentially have LTLMoP available in 3D and online
https://ltlmop.herokuapp.com/
Other
3 stars 1 forks source link

Allow Uploading of Both Regions #31

Open agilgur5 opened 9 years ago

agilgur5 commented 9 years ago

Plot the non-decomposed, but maneuver along the decomposed. This might screw up the whole number -> name reference since the numbers are not the same :/