4.0.0 de.learnlib learnlib-algorithms-active-parent 0.18.0 ../pom.xml learnlib-observation-pack-vpa LearnLib :: Algorithms :: Observation Pack [VPA] This artifact provides the implementation of the VPA adaption of the Observation-Pack learning algorithm as discussed in the PhD thesis "Foundations of Active Automata Learning: An Algorithmic Perspective" (https://doi.org/10.17877/DE290R-16359) by Malte Isberner. de.learnlib learnlib-api de.learnlib learnlib-counterexamples de.learnlib learnlib-datastructures org.checkerframework checker-qual net.automatalib automata-api net.automatalib automata-core net.automatalib automata-commons-smartcollections net.automatalib automata-commons-util de.learnlib.tooling annotations de.learnlib learnlib-equivalence-oracles test de.learnlib.testsupport learnlib-learner-it-support de.learnlib learnlib-membership-oracles test de.learnlib learnlib-util test net.automatalib automata-serialization-dot test net.automatalib automata-util test org.testng testng org.apache.maven.plugins maven-surefire-plugin @{argLine} --add-reads=de.learnlib.algorithm.observationpack.vpa=net.automatalib.util