fix Rivest name

Author: emuskardin

aalpy/learning_algs/deterministic/CounterExampleProcessing.py

@@ -46,7 +46,7 @@ def longest_prefix_cex_processing(s_union_s_dot_a: list, cex: tuple, closedness=
 def rs_cex_processing(sul: SUL, cex: tuple, hypothesis, suffix_closedness=True, closedness='suffix',
                       is_vpa=False, lower=None, upper=None):
     """
-    Riverst-Schapire counter example processing.
+    Rivest-Schapire counter example processing.
 
     Args:
 

aalpy/learning_algs/deterministic/KV.py

@@ -29,7 +29,7 @@ def run_KV(alphabet: Union[list, SevpaAlphabet], sul: SUL, eq_oracle: Oracle, au
 
         automaton_type: type of automaton to be learned. One of 'dfa', 'mealy', 'moore', 'vpa'
 
-        cex_processing: Counterexample processing strategy. Either 'rs' (Riverst-Schapire), 'longest_prefix'.
+        cex_processing: Counterexample processing strategy. Either 'rs' (Rivest-Schapire), 'longest_prefix'.
             (Default value = 'rs'), 'longest_prefix', 'linear_fwd', 'linear_bwd', 'exponential_fwd', 'exponential_bwd'
 
         max_learning_rounds: number of learning rounds after which learning will terminate (Default value = None)

aalpy/learning_algs/deterministic/LStar.py

@@ -36,7 +36,7 @@ def run_Lstar(alphabet: list, sul: SUL, eq_oracle: Oracle, automaton_type, sampl
         closing_strategy: closing strategy used in the close method. Either 'longest_first', 'shortest_first' or
             'single' (Default value = 'shortest_first')
 
-        cex_processing: Counterexample processing strategy. Either None, 'rs' (Riverst-Schapire), 'longest_prefix'.
+        cex_processing: Counterexample processing strategy. Either None, 'rs' (Rivest-Schapire), 'longest_prefix'.
             (Default value = 'rs'), 'longest_prefix', 'linear_fwd', 'linear_bwd', 'exponential_fwd', 'exponential_bwd'
 
         e_set_suffix_closed: True option ensures that E set is suffix closed,

aalpy/learning_algs/stochastic/StochasticCexProcessing.py

@@ -43,7 +43,7 @@ def stochastic_longest_prefix(cex, prefixes):
 
 
 def stochastic_rs(sul: SUL, cex: tuple, hypothesis):
-    """Riverst-Schapire counter example processing.
+    """Rivest-Schapire counter example processing.
 
     Args: