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

Front End Spec Parsing #8

Closed agilgur5 closed 9 years ago

agilgur5 commented 9 years ago

Parse a .spec file on the front end