1 [NAME] 2 randaut \- generate random automata 3 [DESCRIPTION] 4 .\" Add any additional description here 5 [SEE ALSO] 6 .BR genltl (1), 7 .BR genaut (1), 8 .BR randltl (1), 9 .BR autfilt (1) 10