Homepage of Sicco Verwer |
Links to software I developed during my research. Please do not hesitate to ask me any questions about the implementations or notify me about any bugs. |
|
RTIAn algorithm for learning real-time automata from labeled data. Published here. |
|
RTI+An algorithm for learning real-time automata from unlabeled data based on the likelihood ratio test. Published here. |
|
DFASATAn algorithm that uses SAT solvers for learning deterministic finite state automata for software processes. Published here. |
|
Discrimination-free Naive BayesA modification of the naive Bayes classifier that makes it produce discrimination-free classifications. Published here. |
|
Baum-Welch in Probabilistic AutomataPython implementation of Baum Welch for probabilistic automata (instead of hidden Markov models), used as baseline during the Pautomac probabilistic automata learning competition. |
Last edit: 25 feb 2013
dr. ir. Sicco Verwer |
Mailbox number 47 |
Institute for Computing and Information Sciences |