Browsing by Subject Sequential machine theory
Showing results 1 to 10 of 10
| Issue Date | Title | Author(s) |
| 2021 | A DFA learning toolkit | Cherrett, Daniel (2021) |
| 2022 | DFA learning using SAT solvers | Formosa, Logan (2022) |
| 2000 | Extracting information from text using FS technology | Jones, Jonathan (2000) |
| 2015-08 | A framework for the generation of computer system diagnostics in natural language using finite state methods | Farrell, Rachel; Pace, Gordon J.; Rosner, Michael |
| 2021-08 | Learning DFAS by evolving short sequences of merges | Guillaumier, Kristian; Abela, John |
| 2005 | Search diversification and backtracking strategies for DFA learning | Pace, Stephen (2005) |
| 2010 | A simplified model of QuickCheck automata | Falzon, Kevin; Pace, Gordon J. |
| 2021 | Using evolutionary algorithms for DFA learning | Grech, Francesco (2021) |
| 2021 | Using genetic programming to evolve heuristics for DFA learning | Farrugia, Jesmar (2021) |
| 2005 | Verifying hardware compilers | Pace, Gordon J.; Claessen, Koen |
