reading and writing CSV files should work for tools that produce automata too
ltl2tgba
, autfilt
, ltldo
,... should have support for --csv
, %<
and %>
, and maybe something like '%O' to output the automaton in the --stats
.
autfilt
should support reading from filename/COL
. The first use-case would be to read the automata in the CSV files produced by ltlcross
.