Learning regular sets from queries and counterexamples
Information and Computation
Random DFA's can be approximately learned from sparse uniform examples
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
A fully implicit algorithm for exact state minimization
DAC '94 Proceedings of the 31st annual Design Automation Conference
New ideas for solving covering problems
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
A fast state reduction algorithm for incompletely specified finite state machine
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Synthesis of finite state machines: logic optimization
Synthesis of finite state machines: logic optimization
Synthesis and Optimization of Digital Circuits
Synthesis and Optimization of Digital Circuits
ICGI '98 Proceedings of the 4th International Colloquium on Grammatical Inference
An n log n algorithm for minimizing states in a finite automaton
An n log n algorithm for minimizing states in a finite automaton
Efficient Algorithms for the Inference of Minimum Size DFAs
Machine Learning
ICGI '02 Proceedings of the 6th International Colloquium on Grammatical Inference: Algorithms and Applications
Inducing grammars from sparse data sets: a survey of algorithms and results
The Journal of Machine Learning Research
Supervisor Reduction for Discrete-Event Systems
Discrete Event Dynamic Systems
Learning Minimal Separating DFA's for Compositional Verification
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
FM '09 Proceedings of the 2nd World Congress on Formal Methods
A SVD-based fragile watermarking scheme for image authentication
IWDW'02 Proceedings of the 1st international conference on Digital watermarking
Automated assumption generation for compositional verification
CAV'07 Proceedings of the 19th international conference on Computer aided verification
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Learning system abstractions for human operators
Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering
Inferring network invariants automatically
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Computing minimal separating DFAs and regular invariants using SAT and SMT solvers
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
Hi-index | 0.00 |