The following pages link to (Q4942015):
Displaying 28 items.
- Testing probabilistic equivalence through reinforcement learning (Q383369) (← links)
- Black-box testing based on colorful taint analysis (Q439720) (← links)
- Active learning of nondeterministic finite state machines (Q459826) (← links)
- Learning register automata: from languages to program structures (Q479461) (← links)
- Complete model-based equivalence class testing for nondeterministic systems (Q520246) (← links)
- Information gain of black-box testing (Q640298) (← links)
- DKL: an efficient algorithm for learning deterministic Kripke structures (Q824283) (← links)
- Three optimizations for assume-guarantee reasoning with \(L^{*}\) (Q934701) (← links)
- Testing nonlinear operators (Q1895875) (← links)
- Probabilistic black-box reachability checking (extended version) (Q2008284) (← links)
- Generating models of infinite-state communication protocols using regular inference with abstraction (Q2018056) (← links)
- A new fair multi-secret sharing scheme based on asymmetric bivariate polynomial (Q2088950) (← links)
- A graph based semantics for logical functional diagrams in power plant controllers (Q2103904) (← links)
- Concurrent Kleene algebra with observations: from hypotheses to completeness (Q2200836) (← links)
- Efficient active automata learning via mutation testing (Q2331082) (← links)
- Conformance testing in the presence of multiple faults (Q2921787) (← links)
- Incremental Learning-Based Testing for Reactive Systems (Q3012969) (← links)
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach (Q3434609) (← links)
- Learning Meets Verification (Q3525110) (← links)
- (Q3686046) (← links)
- (Q4807832) (← links)
- Polynomial Identification of $$\omega $$-Automata (Q5164178) (← links)
- Computational Methods in Systems Biology (Q5712391) (← links)
- Computer Aided Verification (Q5716564) (← links)
- On monitoring linear temporal properties (Q6056640) (← links)
- A Context-Free Symbiosis of Runtime Verification and Automata Learning (Q6488340) (← links)
- Reverse Engineering Through Automata Learning (Q6488341) (← links)
- Active learning of deterministic timed automata with Myhill-Nerode style characterization (Q6535622) (← links)
