fix rendering of javadoc

oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/RandomWMethodEQOracle.java

@@ -43,9 +43,9 @@
 import net.automatalib.word.WordBuilder;
 
 /**
- * Implements an equivalence test by applying the W-method test on the given hypothesis automaton. Generally the
- * Wp-method performs better in finding counter examples. Instead of enumerating the test suite in order, this is a
- * sampling implementation:
+ * Implements an equivalence test by applying the W-method test on the given hypothesis automaton, as described in
+ * <a href="https://doi.org/10.1109/TSE.1978.231496">Testing Software Design Modeled by Finite-State Machines</a> by
+ * T.&nbsp;S.&nbsp;Chow. Instead of enumerating the test suite in order, this is a sampling implementation:
  * <ul>
  * <li>1. sample uniformly from the transitions for a prefix</li>
  * <li>2. sample geometrically a random word</li>

oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/RandomWpMethodEQOracle.java

@@ -44,9 +44,9 @@
 import net.automatalib.word.WordBuilder;
 
 /**
- * Implements an equivalence test by applying the Wp-method test on the given hypothesis automaton, as described in
- * "Test Selection Based on Finite State Models" by S. Fujiwara et al. Instead of enumerating the test suite in order,
- * this is a sampling implementation:
+ * Implements an equivalence test by applying the Wp-method test on the given hypothesis automaton, as described in <a
+ * href="https://doi.org/10.1109/32.87284">Test selection based on finite state models</a> by S.&nbsp;Fujiwara et al.
+ * Instead of enumerating the test suite in order, this is a sampling implementation:
  * <ul>
  * <li>1. sample uniformly from the states for a prefix</li>
  * <li>2. sample geometrically a random word</li>

oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/WMethodEQOracle.java

@@ -40,7 +40,8 @@
 
 /**
  * Implements an equivalence test by applying the W-method test on the given hypothesis automaton, as described in
- * "Testing software design modeled by finite state machines" by T.S. Chow.
+ * <a href="https://doi.org/10.1109/TSE.1978.231496">Testing Software Design Modeled by Finite-State Machines</a> by
+ * T.&nbsp;S.&nbsp;Chow.
  *
  * @param <A>
  *         automaton type
@@ -87,8 +88,8 @@ public class WMethodEQOracle<A extends UniversalDeterministicAutomaton<?, I, ?,
     private final int expectedSize;
 
     /**
-     * Constructor. Convenience method for {@link #WMethodEQOracle(MembershipOracle, int, int)} that sets {@code
-     * expectedSize} to 0.
+     * Constructor. Convenience method for {@link #WMethodEQOracle(MembershipOracle, int, int)} that sets
+     * {@code expectedSize} to 0.
      *
      * @param sulOracle
      *         interface to the system under learning
@@ -100,8 +101,8 @@ public WMethodEQOracle(MembershipOracle<I, D> sulOracle, int lookahead) {
     }
 
     /**
-     * Constructor. Convenience method for {@link #WMethodEQOracle(MembershipOracle, int, int, int)} that sets {@code
-     * batchSize} to 1.
+     * Constructor. Convenience method for {@link #WMethodEQOracle(MembershipOracle, int, int, int)} that sets
+     * {@code batchSize} to 1.
      *
      * @param sulOracle
      *         interface to the system under learning
@@ -115,7 +116,8 @@ public WMethodEQOracle(MembershipOracle<I, D> sulOracle, int lookahead, int expe
     }
 
     /**
-     * Constructor. Uses {@link Math#max(int, int) Math.max}{@code (lookahead, expectedSize - }{@link
+     * Constructor. Uses
+     * {@link Math#max(int, int) Math.max}{@code (lookahead, expectedSize - }{@link
      * UniversalDeterministicAutomaton#size() hypothesis.size()}{@code )} to determine the maximum length of sequences,
      * that should be appended to the transition-cover part of the test sequence to account for the fact that the system
      * under learning may have more states than the current hypothesis.

oracles/equivalence-oracles/src/main/java/de/learnlib/oracle/equivalence/WpMethodEQOracle.java

@@ -39,8 +39,8 @@
 import net.automatalib.word.Word;
 
 /**
- * Implements an equivalence test by applying the Wp-method test on the given hypothesis automaton, as described in
- * "Test Selection Based on Finite State Models" by S. Fujiwara et al.
+ * Implements an equivalence test by applying the Wp-method test on the given hypothesis automaton, as described in <a
+ * href="https://doi.org/10.1109/32.87284">Test selection based on finite state models</a> by S.&nbsp;Fujiwara et al.
  *
  * @param <A>
  *         automaton type