Learning Meets Verification
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1614699 (Why is no real title available?)
- scientific article; zbMATH DE number 1670774 (Why is no real title available?)
- scientific article; zbMATH DE number 1670786 (Why is no real title available?)
- scientific article; zbMATH DE number 3427224 (Why is no real title available?)
- scientific article; zbMATH DE number 1008506 (Why is no real title available?)
- scientific article; zbMATH DE number 1142314 (Why is no real title available?)
- scientific article; zbMATH DE number 1956591 (Why is no real title available?)
- scientific article; zbMATH DE number 2040913 (Why is no real title available?)
- scientific article; zbMATH DE number 2080060 (Why is no real title available?)
- scientific article; zbMATH DE number 1538041 (Why is no real title available?)
- scientific article; zbMATH DE number 1903365 (Why is no real title available?)
- scientific article; zbMATH DE number 1418458 (Why is no real title available?)
- A Logical Characterisation of Event Clock Automata
- A structural induction theorem for processes
- A theory of timed automata
- Algorithmic improvements in regular model checking.
- Bridging the gap between fair simulation and trace inclusion
- CONCUR 2004 - Concurrency Theory
- CONCUR 2004 - Concurrency Theory
- Complexity of automaton identification from given data
- Computer Aided Verification
- Computer Aided Verification
- Control and data abstraction: The cornerstones of practical formal verification
- Domain-specific optimization in automata learning.
- Efficient algorithms for the inference of minimum size DFAs
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Fundamental Approaches to Software Engineering
- Fundamental approaches to software engineering. 9th international conference, FASE 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 27--28, 2006. Proceedings
- Inference of Event-Recording Automata Using Timed Decision Trees
- Inferring Network Invariants Automatically
- Insights to Angluin's learning
- Language identification in the limit
- Learning regular sets from queries and counterexamples
- Model-based testing of reactive systems. Advanced lectures.
- On Reasoning About Rings
- On the Synthesis of Finite-State Machines from Samples of Their Behavior
- On the learnability of infinitary regular sets
- Regular model checking using inference of regular languages
- Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning
- Synthesis of interface specifications for Java classes
- Testing Software Design Modeled by Finite-State Machines
- Tools and Algorithms for the Construction and Analysis of Systems
- Verification, Model Checking, and Abstract Interpretation
Cited in
(23)- DKL: an efficient algorithm for learning deterministic Kripke structures
- Learning pomset automata
- Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
- Benchmarks for automata learning and conformance testing
- scientific article; zbMATH DE number 7447748 (Why is no real title available?)
- Learning deterministic multi-clock timed automata
- Learning infinite-word automata with loop-index queries
- Learning deterministic probabilistic automata from a model checking perspective
- Polynomial-time equivalence testing for deterministic fresh-register automata
- Regular \(\omega\)-languages with an informative right congruence
- Benchmarking combinations of learning and testing algorithms for automata learning
- Learning regular omega languages
- Active learning for deterministic bottom-up nominal tree automata
- Learning automata and transducers: a categorical approach
- Learning Algorithms and Formal Verification (Invited Tutorial)
- Passive learning of regular data languages in polynomial time and data
- A Context-Free Symbiosis of Runtime Verification and Automata Learning
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Learning algorithms
- scientific article; zbMATH DE number 7453082 (Why is no real title available?)
- Inferring regular languages and \(\omega\)-languages
- Feasability of learning weighted automata on a semiring
- CALF: categorical automata learning framework
This page was built for publication: Learning Meets Verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525110)
