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

View Automaton #51

Open agilgur5 opened 8 years ago

agilgur5 commented 8 years ago

Writing some of my past research into this down..

http://www.graphviz.org/Download_linux_ubuntu.php shows that the latest versions are compatible up to 13.1, not 14.04, which is problematic. The installation may still be compatible, so I'll attempt to get it working before considering alternatives.

It would be great to be able to output a front end only (read: javascript) solution to this though, which would of course involve parsing the AUT file and creating a diagram of the state machine in SVG, then potentially converting that to PNG (and from there PDF?) for saving. Creating the diagram itself isn't awfully hard, but GraphViz does some nice things to get it to look correct (e.g. from top to bottom states are in numerical order, etc) and somehow fit in a one page PDF

agilgur5 commented 8 years ago

Welp I need to learn to Google better: https://github.com/mdaines/viz.js/