Discussions

• 1 You must be logged in to vote

  💬

  EQ oracles should not use hypothesis state iterators!

  stateMachinist started Feb 2, 2025 in General

  

  

  2
• 2 You must be logged in to vote

  📣

  0.18.0 release

  mtf90 announced Feb 6, 2025 in Announcements

  

  

  0
• 2 You must be logged in to vote

  🙏

  Sharing cache between adaptive learners and equivalence oracles

  stateMachinist asked Dec 12, 2024 in Q&A · Unanswered

  

  

  16
• 1 You must be logged in to vote

  🙏

  Question About RPNI

  5angjun asked Nov 17, 2024 in Q&A · Closed · Unanswered

  

  

  4
• 1 You must be logged in to vote

  🙏

  How to run laernlib

  5angjun asked Sep 1, 2024 in Q&A · Closed · Unanswered

  

  

  4
• 1 You must be logged in to vote

  🙏

  How to learn a Mealy FSM if SUL can only deal with a input sequences (a query) but not each input？

  LiGuandaTHU asked Aug 28, 2024 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  💬

  How to run TTT?

  5angjun started Apr 4, 2024 in General · Closed

  

  

  6
• 2 You must be logged in to vote

  🗳️

  Minimum Java language version

  mtf90 started Mar 14, 2024 in Polls · Closed

  

  

  0
• 1 You must be logged in to vote

  🙏

  Question about web learning support

  ferganyalim asked Feb 18, 2024 in Q&A · Unanswered

  

  

  3
• 1 You must be logged in to vote

  🙏

  How to print the intermediate observation table (especially when the create the hypothesis)

  VishalPatel43 asked Jan 5, 2024 in Q&A · Unanswered

  

  

  7
• 1 You must be logged in to vote

  🙏

  Resources for implementations of Teacher, i.e. equivalencequerries and membershipqueries in DFA context

  raufum asked Jan 3, 2024 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  How do you implement a simple SUL for a DFA?

  raufum asked Jan 3, 2024 in Q&A · Unanswered

  

  

  3
• 1 You must be logged in to vote

  💬

  How to print the Intermediate observation table when hypothesis created?

  VishalPatel43 started Jan 5, 2024 in General · Closed

  

  

  1
• 1 You must be logged in to vote

  🙏

  How to calculate the Time, Equivalence queries and Membership queries required by the algorithm in 1 DFA

  VishalPatel43 asked Nov 27, 2023 in Q&A · Unanswered

  

  

  1
• 4 You must be logged in to vote

  📣

  0.17.0 release

  mtf90 announced Nov 15, 2023 in Announcements

  

  

  0
• 1 You must be logged in to vote

  💬

  How to find the Equivalence queries

  VishalPatel43 started Nov 10, 2023 in General · Closed

  

  

  3
• 1 You must be logged in to vote

  💬

  Try to run Example1

  VishalPatel43 started Oct 31, 2023 in General · Closed

  

  

  16
• 1 You must be logged in to vote

  💬

  Package not found

  VishalPatel43 started Nov 2, 2023 in General · Closed

  

  

  8
• 1 You must be logged in to vote

  🙏

  Comparison between L* and NL* algorithm

  VishalPatel43 asked Oct 20, 2023 in Q&A · Closed · Unanswered

  

  

  6
• 1 You must be logged in to vote

  🙏

  How to include system state information in generated state nodes & customized modifications?

  tao2years asked Nov 7, 2023 in Q&A · Answered

  

  

  5
• 1 You must be logged in to vote

  🙏

  Question about Subtree Extraction during Discriminator Finalization in TTT

  raufum asked Nov 1, 2023 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  How to use LearnLib in a practical system？

  tao2years asked Oct 19, 2023 in Q&A · Answered

  

  

  3
• 1 You must be logged in to vote

  🙏

  How learnlib works

  VishalPatel43 asked Oct 12, 2023 in Q&A · Closed · Answered

  

  

  3