[NAME]
randaut \- generate random automata
[DESCRIPTION]
.\" Add any additional description here
[SEE ALSO]
.BR genltl (1),
.BR genaut (1),
.BR randltl (1),
.BR autfilt (1)