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

Simulator Regions Nuances #12

Open agilgur5 opened 9 years ago

agilgur5 commented 9 years ago

Obstacles should actually be made into obstacles (boxes?). Everything in the 'boundary' but not in something else should be in the 'others' region. There should be "walls" around the 'boundary' as well so the car doesn't fall into the abyss Not sure what to do about empty spots in the regions though (spots that just haven't been filled) or holes.

agilgur5 commented 8 years ago

Any region named 'wallX' where 'X' is a number should also be treated as a wall. Note this requires #31 to actually do as the decomposed regions don't have walls or boundaries