TU Delft Algorithmics
Sicco Verwer
Delft University of Technology Projects ALG Group
EWI ALG Sicco VerwerProjects
eng
 
Home
 
Resume
 
Personal Corner
 
Research
 
Projects
 
Teaching
 
Links
Software
BoP, a tool for tutoring logic to undergraduate students. BoP is being used in the second years bachelor course 'Logica' at TU Delft.
RTI, the code from my PhD for learning real-time automata unsupervised from unlabeled data. Released under the GNU GPL. For a description of the algorithm, see my publications: "Efficiently learning simple timed automata."
                                                                                                                                                                                                                                                                             
                                                                                                                                                                                                                                                                             
Sicco Verwer
Top of the page

The newest version of this page can be found at: http://www.st.ewi.tudelft.nl/~sicco/projects.php
Last modified: Fri, 21 Aug 2009 08:31:24 GMT  

Copyright © 2005 Sicco Verwer. Please mail if you find any errors or omissions.
All Rights Reserved. Design A. Iosup.