Synthesis of Supervisors Using Learning Algorithm of RegularLanguages
Discrete Event Dynamic Systems
Journal of Automata, Languages and Combinatorics - Selected papers of the workshop on logic and algebra for concurrency
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Extending automated compositional verification to the full class of omega-regular languages
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Angluin style finite state machine inference with non-optimal counterexamples
Proceedings of the First International Workshop on Model Inference In Testing
From ZULU to RERS: lessons learned in the ZULU challenge
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Automated assume-guarantee reasoning for omega-regular systems and specifications
Innovations in Systems and Software Engineering
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
BULL: a library for learning algorithms of boolean functions
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Four one-shot learners for regular tree languages and their polynomial characterizability
Theoretical Computer Science
| Hi-index | 0.00 |