1![Active Automata Learning in Practice An Annotated Bibliography of the Years 2011 to 2016 Falk Howar1 and Bernhard Steffen2 1 Dortmund University of Technology and Fraunhofer ISST, Dortmund, Germany Active Automata Learning in Practice An Annotated Bibliography of the Years 2011 to 2016 Falk Howar1 and Bernhard Steffen2 1 Dortmund University of Technology and Fraunhofer ISST, Dortmund, Germany](https://www.pdfsearch.io/img/a83ba26a00f1e3e61969570550ab1705.jpg) | Add to Reading ListSource URL: www.falkhowar.deLanguage: English - Date: 2018-09-30 08:43:02
|
---|
2![Multi-Objective Parameter Fitting in Parametric Probabilistic Hybrid Automata — Learning to Mine and Exploit PAC Formal Models — Martin Fränzle1 joint work with Multi-Objective Parameter Fitting in Parametric Probabilistic Hybrid Automata — Learning to Mine and Exploit PAC Formal Models — Martin Fränzle1 joint work with](https://www.pdfsearch.io/img/e2c1c3a8c68379041d50c07b9bef518a.jpg) | Add to Reading ListSource URL: www.cse.iitb.ac.inLanguage: English - Date: 2016-02-25 04:01:29
|
---|
3![Generation of Failure Models through Automata Learning [Position Paper] Sebastian Kunze, Wojciech Mostowski, Mohammad Reza Mousavi, Mahsa Varshosaz Centre for Research on Embedded Systems, Halmstad University, Sweden {s Generation of Failure Models through Automata Learning [Position Paper] Sebastian Kunze, Wojciech Mostowski, Mohammad Reza Mousavi, Mahsa Varshosaz Centre for Research on Embedded Systems, Halmstad University, Sweden {s](https://www.pdfsearch.io/img/74cbb60082670af423d418659023e315.jpg) | Add to Reading ListSource URL: ceres.hh.seLanguage: English - Date: 2016-08-10 08:19:52
|
---|
4![Learning Probabilistic Automata: A Study In State DistinguishabilityI Borja Ballea,∗, Jorge Castroa , Ricard Gavald`aa a Departament de Llenguatges i Sistemes Inform` Learning Probabilistic Automata: A Study In State DistinguishabilityI Borja Ballea,∗, Jorge Castroa , Ricard Gavald`aa a Departament de Llenguatges i Sistemes Inform`](https://www.pdfsearch.io/img/d729d1f6fa54595328de081782487eea.jpg) | Add to Reading ListSource URL: borjaballe.github.ioLanguage: English - Date: 2018-08-01 22:14:59
|
---|
5![Radboud University Nijmegen Master Thesis Computer Science Applying Automata Learning to Complex Industrial Software by Radboud University Nijmegen Master Thesis Computer Science Applying Automata Learning to Complex Industrial Software by](https://www.pdfsearch.io/img/878559865557ae702383de3318a9da93.jpg) | Add to Reading ListSource URL: www.mbsd.cs.ru.nl- Date: 2012-09-18 09:31:56
|
---|
6![JMLR: Workshop and Conference Proceedings 21:254–258, 2012 The 11th ICGI Simple Variable Length N-grams for Probabilistic Automata Learning JMLR: Workshop and Conference Proceedings 21:254–258, 2012 The 11th ICGI Simple Variable Length N-grams for Probabilistic Automata Learning](https://www.pdfsearch.io/img/897f07ddb638e1bd62bc465105f2dd94.jpg) | Add to Reading ListSource URL: jmlr.csail.mit.edu- Date: 2012-08-19 06:00:06
|
---|
7![Active Automata Learning: From DFA to Interface Programs and Beyond or From Languages to Program Executions or (more technically) The Power of Counterexample Analysis Active Automata Learning: From DFA to Interface Programs and Beyond or From Languages to Program Executions or (more technically) The Power of Counterexample Analysis](https://www.pdfsearch.io/img/48b02b666a79c11aa0e4a52ba95446dc.jpg) | Add to Reading ListSource URL: www.connect-forever.euLanguage: English - Date: 2012-12-20 13:12:46
|
---|
8![Learning Regular Omega Languages Dana Angluin1? and Dana Fisman2?? 1 2 Learning Regular Omega Languages Dana Angluin1? and Dana Fisman2?? 1 2](https://www.pdfsearch.io/img/391d7ffea0aec6ac9dc29bc48b4aa36a.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2014-09-03 16:14:08
|
---|
9![Towards Machine Learning on the Automata Processor Tommy Tracy II1? , Yao Fu2? , Indranil Roy3 , Eric Jonas4 , and Paul Glendenning2 1 Towards Machine Learning on the Automata Processor Tommy Tracy II1? , Yao Fu2? , Indranil Roy3 , Eric Jonas4 , and Paul Glendenning2 1](https://www.pdfsearch.io/img/e886947be8f7cc3f9878074925ff9675.jpg) | Add to Reading ListSource URL: cap.wpengine.comLanguage: English - Date: 2016-06-02 08:47:05
|
---|
10![Learning Finite Automata Using Label Queries LEV REYZIN YALE UNIVERSITY YAHOO! RESEARCH DANA ANGLUIN Learning Finite Automata Using Label Queries LEV REYZIN YALE UNIVERSITY YAHOO! RESEARCH DANA ANGLUIN](https://www.pdfsearch.io/img/e8a4e17b7fec71d6c825f1f6b45a85cd.jpg) | Add to Reading ListSource URL: www.levreyzin.comLanguage: English - Date: 2009-10-27 11:25:14
|
---|