code: public static RandomICAutomatonGenerator<Boolean, Void> forDFA(double acceptingRatio) {
          return new RandomICAutomatonGenerator<Boolean, Void>().withStateProperties(r -> r.nextDouble() <
                                                                                          acceptingRatio);
      }
docs: Creates a random IC automaton generator instance for generating DFAs. The {@code acceptingRatio} parameter
  controls the probability of a state in a generated automaton being an accepting state.
  
  @param acceptingRatio
  the (approximate) ratio of accepting states in generated automata
  
  @return a random IC automaton generator instance for generating DFAs