LearnLib Q&A (retired)

Contact owners and managers

1–30 of 52

This is the former (now retired) LearnLib Q&A mailing list. Please use the new Discussions page over at Github to pose new questions and engange with the community.

0 selected

10/10/23

Retirement of the mailing list

Dear all, I would like to announce that we are retiring the LearnLib Q&A mailing list in favor of

unread,

Retirement of the mailing list

Dear all, I would like to announce that we are retiring the LearnLib Q&A mailing list in favor of

10/10/23

Falk Harnisch, … Markus Frohme5

1/10/22

Learning Algorithmen for Hybrid Automata

Dear Falk, thanks for the information about hybrid automata. They look very interesting, but as I

unread,

Learning Algorithmen for Hybrid Automata

Dear Falk, thanks for the information about hybrid automata. They look very interesting, but as I

1/10/22

guo guo, … Alexander Bainczyk16

1/7/22

On the instability of generative automata

Dear Alexander， Thank you. I didn't configure it well. Now it's solved! Sincerely， Guo On

unread,

On the instability of generative automata

Dear Alexander， Thank you. I didn't configure it well. Now it's solved! Sincerely， Guo On

1/7/22

guo guo, Markus Frohme8

8/18/21

about GenericObservationTable

Dear Markus, Thank you very much for your answer, which is very helpful to me! kind regards, Guo On

unread,

about GenericObservationTable

Dear Markus, Thank you very much for your answer, which is very helpful to me! kind regards, Guo On

8/18/21

Khanh Ho, Markus Frohme4

6/13/21

Question on LStar Algorithm

Dear Khanh, no, most active learning algorithms (and specifically all algorithms in LearnLib)

unread,

Question on LStar Algorithm

Dear Khanh, no, most active learning algorithms (and specifically all algorithms in LearnLib)

6/13/21

Nikos Katzouris, Markus Frohme2

1/30/21

Textual description of learnt automata

Hi Nikos, check out one of the serializer of AutomataLib [0]. I think the best formats for "

unread,

Textual description of learnt automata

Hi Nikos, check out one of the serializer of AutomataLib [0]. I think the best formats for "

1/30/21

Alex F., Markus Frohme7

12/28/20

Dear Markus Thank you very much! Kind regards, Alex F. Il giorno domenica 27 dicembre 2020 alle 01:21

unread,

Dear Markus Thank you very much! Kind regards, Alex F. Il giorno domenica 27 dicembre 2020 alle 01:21

12/28/20

Tiago Ferreira, … Markus Frohme4

9/15/20

Upgrading from 0.7

Hi Merlin, I think the AAR paper mostly deals with non-determinism that is introduced by input

unread,

Upgrading from 0.7

Hi Merlin, I think the AAR paper mostly deals with non-determinism that is introduced by input

9/15/20

Markus Frohme, … John Huynh4

5/6/20

Re: [learnlib-qa] Counting Membership Queries posed by the Learner

Thank you very much! Am Samstag, 2. Mai 2020 13:51:10 UTC+2 schrieb Diego Damasceno: Dear John, You

unread,

Re: [learnlib-qa] Counting Membership Queries posed by the Learner

Thank you very much! Am Samstag, 2. Mai 2020 13:51:10 UTC+2 schrieb Diego Damasceno: Dear John, You

5/6/20

John Huynh, Markus Frohme2

4/18/20

Set a Timeout for learning Duration of NL*

Hi John, in general, this should be possible with the latest LearnLib version. Do you use parallel

unread,

Set a Timeout for learning Duration of NL*

Hi John, in general, this should be possible with the latest LearnLib version. Do you use parallel

4/18/20

Simone Agostinelli, Markus Frohme9

2/26/20

Dealing with findCounterExample method

Dear Markus, Thank you for the suggested directions. I will try all of them! I keep you updated,

unread,

Dealing with findCounterExample method

Dear Markus, Thank you for the suggested directions. I will try all of them! I keep you updated,

2/26/20

John Huynh, Markus Frohme3

2/9/20

Learning DFA without manually created Automaton

Thank you very much! Am Samstag, 8. Februar 2020 17:17:55 UTC+1 schrieb Markus Frohme: Hi John, the

unread,

Learning DFA without manually created Automaton

Thank you very much! Am Samstag, 8. Februar 2020 17:17:55 UTC+1 schrieb Markus Frohme: Hi John, the

2/9/20

Simone Agostinelli, … Markus Frohme5

2/4/20

Equivalence Query L* DFA

Hi Mark, Thank you for the answer! I'm currently overriding the findCounterExample() method of

unread,

Equivalence Query L* DFA

Hi Mark, Thank you for the answer! I'm currently overriding the findCounterExample() method of

2/4/20

John Huynh, Markus Frohme10

1/30/20

Learning the automaton of a real life system

Dear Markus, thank you so much! Things are much clearer now! Kind regards, John Am Mittwoch, 29.

unread,

Learning the automaton of a real life system

Dear Markus, thank you so much! Things are much clearer now! Kind regards, John Am Mittwoch, 29.

1/30/20

John Huynh, Markus Frohme2

1/25/20

Learning from a black-box system

Dear John, regarding the modeling of your problem, I answered in the other thread. The only new thing

unread,

Learning from a black-box system

Dear John, regarding the modeling of your problem, I answered in the other thread. The only new thing

1/25/20

Örjan Landgren, Markus Frohme3

12/6/19

Definition of the Discrimination Tree Algorithm

Dear Markus! Thank you so much for your fast and helpful response! Best regards, Örjan Den tisdag 3

unread,

Definition of the Discrimination Tree Algorithm

Dear Markus! Thank you so much for your fast and helpful response! Best regards, Örjan Den tisdag 3

12/6/19

Masoud Ebrahimi, Markus Frohme2

11/8/19

LearnLib triggers an unexpected ArrayIndexOutOfBoundsException in SharedWord

Dear Masoud, assertions are usually disabled by the JVM unless you pass "-ea" (enable

unread,

LearnLib triggers an unexpected ArrayIndexOutOfBoundsException in SharedWord

Dear Masoud, assertions are usually disabled by the JVM unless you pass "-ea" (enable

11/8/19

Teck Ping Khoo, … Markus Frohme6

10/25/19

Getting all nodes and transitions in a Graph

Hi Teck Ping, Java wildcards are a double-edged sword. It's nice to not have to care about

unread,

Getting all nodes and transitions in a Graph

Hi Teck Ping, Java wildcards are a double-edged sword. It's nice to not have to care about

10/25/19

Teck Ping Khoo, Markus Frohme2

9/20/19

Question about EQ

The W(p)MethodEQOracles use the current hypothesis to compute test cases (based on the W(p)Method)

unread,

Question about EQ

The W(p)MethodEQOracles use the current hypothesis to compute test cases (based on the W(p)Method)

9/20/19

8/28/19

Using LearnLib to learn automata of robotic controllers

Good day everyone I have access to the following two systems, and am able to write controllers/

unread,

Using LearnLib to learn automata of robotic controllers

Good day everyone I have access to the following two systems, and am able to write controllers/

8/28/19

Teck Ping Khoo, Markus Frohme11

7/16/19

Learning a model from a real system (Miniature Lift)

Hi Markus Thanks so much for reviewing the code! For your first feedback, I will take note of it and

unread,

Learning a model from a real system (Miniature Lift)

Hi Markus Thanks so much for reviewing the code! For your first feedback, I will take note of it and

7/16/19

Fabio Patrizi, Markus Frohme5

7/15/19

Execution of examples from binaries

Hi Markus, thanks for the info. That's indeed the case, as I'm using J11. Best, F On Sat, Jul

unread,

Execution of examples from binaries

Hi Markus, thanks for the info. That's indeed the case, as I'm using J11. Best, F On Sat, Jul

7/15/19

Shahbaz at 1 Ali, … Paul Fiterau9

7/8/19

Learning EFSMs (Register Automaton)

Hi Pepe, It very much depends on what do you want to use RaLib for. If you just want to try it out,

unread,

Learning EFSMs (Register Automaton)

Hi Pepe, It very much depends on what do you want to use RaLib for. If you just want to try it out,

7/8/19

Teck Ping Khoo, Markus Frohme2

7/6/19

Error doing "mvn package" on learnlib-release

Dear Teck Ping, I assume you are using Windows? I believe this is an issue with the encoding of

unread,

Error doing "mvn package" on learnlib-release

Dear Teck Ping, I assume you are using Windows? I believe this is an issue with the encoding of

7/6/19

Teck Ping Khoo, … Markus Frohme4

7/3/19

Passive Learning using Learnlib example

Thanks Markus and Diego, I will explore the suggestions. Regards Teck Ping On Friday, May 17, 2019 at

unread,

Passive Learning using Learnlib example

Thanks Markus and Diego, I will explore the suggestions. Regards Teck Ping On Friday, May 17, 2019 at

7/3/19

Carlos Diego Nascimento Damasceno, Markus Frohme5

6/3/19

The LeeYannakakis code is pretty much a straight forward adaption of the paper. The

unread,

The LeeYannakakis code is pretty much a straight forward adaption of the paper. The

6/3/19

Georgios Giantamidis, Markus Frohme5

5/26/19

Trace loading from files?

Awesome... Thanks a lot, Markus. Makes perfect sense -- now I also realize why it complained when I

unread,

Trace loading from files?

Awesome... Thanks a lot, Markus. Makes perfect sense -- now I also realize why it complained when I

5/26/19

yinhao, … Ivona4

12/10/18

Use Learnlib in C++ ?

Dear Yinhao, would it be possible for you to send me Libalf internal documentation, it could be very

unread,

Use Learnlib in C++ ?

Dear Yinhao, would it be possible for you to send me Libalf internal documentation, it could be very

12/10/18

Rafael Martinez, Markus Frohme3

10/10/18

MealyLearner<I, O> , must fit any I,O interface?

On Tuesday, October 9, 2018 at 4:23:18 PM UTC+2, Markus Frohme wrote: Hi Rafael, when overriding the

unread,

MealyLearner<I, O> , must fit any I,O interface?

On Tuesday, October 9, 2018 at 4:23:18 PM UTC+2, Markus Frohme wrote: Hi Rafael, when overriding the

10/10/18

Shahbaz at 1 Ali, Markus Frohme11

8/7/18

Learning a Simple Mealy Machine with Current Version Of LearnLib (0.13.1)

Shahbaz at 1 Ali <bazg...@gmail.com> 9:59 PM (4 minutes ago) to Markus Hello Sir, Now i have

unread,

Learning a Simple Mealy Machine with Current Version Of LearnLib (0.13.1)

Shahbaz at 1 Ali <bazg...@gmail.com> 9:59 PM (4 minutes ago) to Markus Hello Sir, Now i have

8/7/18

Search

Clear search

Close search

Google apps

Main menu