Inference of finite automata using homing sequences
From MaRDI portal
Recommendations
Cited in
(74)- Fingerprinting and analysis of Bluetooth devices with automata learning
- A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants
- Never-stop context-free learning
- Reverse Engineering Through Automata Learning
- Active learning for sound negotiations
- Learning and characterizing fully-ordered lattice automata
- A Myhill-Nerode theorem for register automata and symbolic trace languages
- A new approach for active automata learning based on apartness
- Active learning of deterministic timed automata with Myhill-Nerode style characterization
- Learning realtime one-counter automata
- \(L^*\)-based learning of Markov decision processes
- Timed automata verification and synthesis via finite automata learning
- Active automata learning as black-box search and lazy partition refinement
- A survey of model learning techniques for recurrent neural networks
- Protocol state machine reverse engineering with a teaching-learning approach
- A Myhill-Nerode theorem for finite state matrix automata and finite matrix languages
- Compositional learning for interleaving parallel automata
- Learning Mealy machines with one timer
- The Birth of Model Checking
- Regular model checking revisited
- Map learning with uninterpreted sensors and effectors
- On the Inference of Finite State Automata from Positive and Negative Data
- Active model learning of stochastic reactive systems
- An efficient query learning algorithm for ordered binary decision diagrams
- Classic learning
- Learning Moore machines from input-output traces
- Efficient learning of typical finite automata from random walks
- Learning Minimal Separating DFA’s for Compositional Verification
- New bounds for the query complexity of an algorithm that learns DFAs with correction and equivalence queries
- scientific article; zbMATH DE number 6991602 (Why is no real title available?)
- Learning finite cover automata from queries
- Benchmarking combinations of learning and testing algorithms for active automata learning
- Model-based learning of interaction strategies in multi-agent systems
- Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists
- Enhancing Automata Learning by Log-Based Metrics
- Grey-Box Checking
- AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee
- A simple algorithm for learning O(log n)-term DNF
- Learning grammars and automata with queries
- Learning to win process-control games watching game-masters
- \(L^\ast\)-based learning of Markov decision processes (extended version)
- Piecemeal graph exploration by a mobile robot.
- The power of a pebble: Exploring and mapping directed graphs
- Automata learning with automated alphabet abstraction refinement
- Active learning for extended finite state machines
- Efficient active automata learning via mutation testing
- On the Length of Homing Sequences for Nondeterministic Finite State Machines
- Learning to verify branching time properties
- The query complexity of finding local minima in the lattice
- Selection of relevant features and examples in machine learning
- AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES
- Compositional CSP traces refinement checking
- Inferring canonical register automata
- Learning fallible deterministic finite automata
- Inferring regular languages and \(\omega\)-languages
- Generating models of infinite-state communication protocols using regular inference with abstraction
- Automated Compositional Reasoning of Intuitionistically Closed Regular Properties
- A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
- Verification of evolving software via component substitutability analysis
- scientific article; zbMATH DE number 7453082 (Why is no real title available?)
- Efficient unlinkable sanitizable signatures from signatures with re-randomizable keys
- Automatic symbolic compositional verification by learning assumptions
- Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning
- Inference of deterministic one-counter languages
- Three optimizations for assume-guarantee reasoning with \(L^{*}\)
- Learning of event-recording automata
- Identification of automata by sequential learning
- Compositional reasoning
- Even linear simple matrix languages: formal language properties and grammatical inference.
- A succinct canonical register automaton model
- \textsc{PAutomaC}: a probabilistic automata and hidden Markov models learning competition
- Learning register automata: from languages to program structures
- Active learning of nondeterministic finite state machines
- On reconstruction of information on an input word in a Medvedev permutation automaton given initial and final states
This page was built for publication: Inference of finite automata using homing sequences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2365762)
