Markus Frohme

Add support for the `Resumable` concept to the procedural learners. - [ ] SPALearner - [ ] SBALearner - [ ] SPMMLearner

Add support for the `Resumable` concept to the OML learners. - [x] OptimalLStar - [ ] OptimalTTT

With Java 17, we have a new LTS version of Java that should be tested continuously.

The `LearnLogger` currently extends the `org.slf4.Logger` interface, which gives access to several nice logging methods using format strings, i.e. we don't have to directly construct the strings being logged (potentially...

With Java 17, we have a new LTS version of Java that should be tested continuously.

Add Moore-specific caches and use them where adequate, e.g., [AbstractGrowingAlphabetMooreTest](https://github.com/LearnLib/learnlib/blob/develop/test-support/learner-it-support/src/main/java/de/learnlib/testsupport/AbstractGrowingAlphabetMooreTest.java#L66). * We may be able to generalize the current DFA caches to something like "state-output" caches. * This may require...

Is there any interest in supporting JPMS modules introduced in Java 9? Currently, I am in the process of modularizing some projects and get a warning when using BRICS since...

Add support for the `Resumable` concept to the AAAR learners. - [ ] ExplicitAAAR - [ ] GenericAAAR

Use serializer from `createContextual` as base deserializer

2

Jackson seems to provide different `DeserializationContext` instances to the `deserialize` and `createContextual` methods. We have observed that the `getContextualType()` method on the context passed to the `deserialize` method would often...

Consider the following dot code: ```dot digraph test { n1 [label = "Node 1"] n2 [label = "Node 2"] n1 -> n2 [label = "Input 1"] n1 -> n2 [label...