Download all versions of learnlib-procedural JAR files with all dependencies
learnlib-procedural from group de.learnlib (version 0.17.0)
This artifact provides the implementations of various learning algorithms for systems of procedural automata
such as the ones described in the papers "Compositional learning of mutually recursive procedural systems
(https://doi.org/10.1007/s10009-021-00634-y) and "From Languages to Behaviors and Back"
(https://doi.org/10.1007/978-3-031-15629-8_11) by Markus Frohme and Bernhard Steffen.
Artifact learnlib-procedural
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Tags: algorithms mutually back learning papers recursive artifact steffen 15629 systems provides from https 8_11 implementations described s10009 languages bernhard behaviors markus this procedural 00634 such 1007 frohme various compositional ones automata
Organization not specified
URL Not specified
License not specified
Dependencies amount 19
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-ot, learnlib-kearns-vazirani, learnlib-lstar, learnlib-observation-pack, learnlib-oml, learnlib-ttt, learnlib-util, guava, automata-api, automata-commons-util, automata-core, automata-util, buildergen, checker-qual, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!
Group de.learnlib
Version 0.17.0
Last update 15. November 2023
Tags: algorithms mutually back learning papers recursive artifact steffen 15629 systems provides from https 8_11 implementations described s10009 languages bernhard behaviors markus this procedural 00634 such 1007 frohme various compositional ones automata
Organization not specified
URL Not specified
License not specified
Dependencies amount 19
Dependencies learnlib-api, learnlib-counterexamples, learnlib-datastructure-ot, learnlib-kearns-vazirani, learnlib-lstar, learnlib-observation-pack, learnlib-oml, learnlib-ttt, learnlib-util, guava, automata-api, automata-commons-util, automata-core, automata-util, buildergen, checker-qual, learnlib-learner-it-support, learnlib-learning-examples, testng,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)
© 2015 - 2024 Weber Informatics LLC | Privacy Policy