autcross
We need a new tool called autcross
, and working similarly to ltlcross
except that the input would be automata, and the tools tested are expected to transform those automata.
We need a new tool called autcross
, and working similarly to ltlcross
except that the input would be automata, and the tools tested are expected to transform those automata.