l

learnlib-procedural

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.
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
Files download
File Operation
learnlib-procedural-0.17.0.jar download
learnlib-procedural-0.17.0.pom download
learnlib-procedural-0.17.0-sources.jar download
Apache Maven 
<dependency>
  <groupId>de.learnlib</groupId>
  <artifactId>learnlib-procedural</artifactId>
  <version>0.17.0</version>
</dependency>
Gradle Groovy 
implementation 'de.learnlib:learnlib-procedural:0.17.0'
Gradle Kotlin 
implementation("de.learnlib:learnlib-procedural:0.17.0")
Scala SBT 
libraryDependencies += "de.learnlib" % "learnlib-procedural" % "0.17.0"
Groovy Grape 
@Grapes(
  @Grab(group='de.learnlib', module='learnlib-procedural', version='0.17.0')
)
Apache Ivy 
<dependency org="de.learnlib" name="learnlib-procedural" rev="0.17.0" />
Leiningen 
[de.learnlib/learnlib-procedural "0.17.0"]
Apache Buildr 
'de.learnlib:learnlib-procedural:jar:0.17.0'
Dependencies 
<parent>
  <groupId>de.learnlib</groupId>
  <artifactId>learnlib-algorithms-active-parent</artifactId>
  <version>0.17.0</version>
</parent>

compile

|-- de.learnlib:learnlib-api

|-- de.learnlib:learnlib-counterexamples

|-- de.learnlib:learnlib-datastructure-ot

|-- de.learnlib:learnlib-kearns-vazirani

|-- de.learnlib:learnlib-lstar

|-- de.learnlib:learnlib-observation-pack

|-- de.learnlib:learnlib-oml

|-- de.learnlib:learnlib-ttt

|-- de.learnlib:learnlib-util

|-- com.google.guava:guava

|-- net.automatalib:automata-api

|-- net.automatalib:automata-commons-util

|-- net.automatalib:automata-core

|-- net.automatalib:automata-util

|-- com.github.misberner.buildergen:buildergen

|-- org.checkerframework:checker-qual

|-- de.learnlib.testsupport:learnlib-learner-it-support

|-- de.learnlib.testsupport:learnlib-learning-examples

|-- org.testng:testng

test

|-- de.learnlib:learnlib-dhc

|-- de.learnlib:learnlib-drivers-simulator

|-- de.learnlib:learnlib-equivalence-oracles

|-- de.learnlib:learnlib-membership-oracles

|-- net.automatalib:automata-serialization-dot