update citations

Author: mtf90

_includes/sidebar/learnlib.html

@@ -48,8 +48,7 @@ <h2 class="widget-title">Cite LearnLib</h2>
                 <ul>
                     <li>
                         <small>
-                            <a href="https://dblp.org/rec/conf/sfm/SteffenHM11.html">Introduction to Active Automata
-                                Learning</a>
+                            <a href="https://doi.org/10.1007/978-3-642-21455-4_8">Introduction to Active Automata Learning</a>
                         </small>
                     </li>
                 </ul>
@@ -59,8 +58,12 @@ <h2 class="widget-title">Cite LearnLib</h2>
                 <ul>
                     <li>
                         <small>
-                            <a href="https://dblp.org/rec/conf/cav/IsbernerHS15.html">The Open-Source LearnLib - A
-                                Framework for Active Automata Learning</a>
+                            <a href="https://doi.org/10.1007/978-3-031-98685-7_7">LearnLib: 10 years later</a>
+                        </small>
+                    </li>
+                    <li>
+                        <small>
+                            <a href="https://doi.org/10.1007/978-3-319-21690-4_32">The Open-Source LearnLib - A Framework for Active Automata Learning</a>
                         </small>
                     </li>
                 </ul>
@@ -70,20 +73,17 @@ <h2 class="widget-title">Cite LearnLib</h2>
                 <ul>
                     <li>
                         <small>
-                            <a href="https://dblp.org/rec/journals/ml/IsbernerHS14.html">Learning register automata:
-                                from languages to program structures</a>
+                            <a href="https://doi.org/10.1007/s10994-013-5419-7">Learning register automata: from languages to program structures</a>
                         </small>
                     </li>
                     <li>
                         <small>
-                            <a href="https://dblp.org/rec/journals/fac/CasselHJS16.html">Active learning for extended
-                                finite state machines</a>
+                            <a href="https://doi.org/10.1007/s00165-016-0355-5">Active learning for extended finite state machines</a>
                         </small>
                     </li>
                     <li>
                         <small>
-                            <a href="https://dblp.org/rec/conf/nfm/IsbernerHS13.html">Inferring Automata with
-                                State-Local Alphabet Abstractions</a>
+                            <a href="https://doi.org/10.1007/978-3-642-38088-4_9">Inferring Automata with State-Local Alphabet Abstractions</a>
                         </small>
                     </li>
                 </ul>