balletie/asml-seminar-report issues and pull requests

#65 - [RFC] Add non-breakable spaces before ref and citations

Pull Request - State: closed - Opened by Balletie almost 9 years ago - 1 comment

#64 - mention other automaton types

Pull Request - State: closed - Opened by sander2 almost 9 years ago - 1 comment

#63 - Consistency fixes 5

Pull Request - State: closed - Opened by Hjdskes almost 9 years ago - 1 comment

#62 - [RFC] Feedback sicco

Pull Request - State: closed - Opened by Balletie almost 9 years ago - 3 comments

#61 - [RDY] Consistency fixes 4

Pull Request - State: closed - Opened by Hjdskes almost 9 years ago

#60 - [RFC] Re-add applications chapter

Pull Request - State: closed - Opened by pvanagtmaal almost 9 years ago - 1 comment

#59 - [RFC] Remove standalone compiling, fix page margins

Pull Request - State: closed - Opened by Balletie almost 9 years ago - 4 comments

#58 - [RFC] Add page numbering top-right

Pull Request - State: closed - Opened by pvanagtmaal almost 9 years ago - 1 comment

#57 - random sampling & intro w-method

Pull Request - State: closed - Opened by sander2 almost 9 years ago - 2 comments

#56 - [RFC] Introduce access string notation

Pull Request - State: closed - Opened by Balletie almost 9 years ago - 1 comment

#55 - Introduce an example of the observation table earlier in the text

Pull Request - State: closed - Opened by sander2 almost 9 years ago

#54 - [RFC] Add conclusion

Pull Request - State: closed - Opened by pvanagtmaal almost 9 years ago - 5 comments

#53 - [RDY] minor adjustment in L* pseudocode refs

Pull Request - State: closed - Opened by sander2 almost 9 years ago - 1 comment

#52 - Remove redundant (base) from algorithm list (LearnLib)

Issue - State: closed - Opened by pvanagtmaal almost 9 years ago - 1 comment

#51 - Misplaced paragraph at the end of chapter 3

Issue - State: closed - Opened by pvanagtmaal almost 9 years ago - 1 comment

#50 - Started with the pseudocode for W-method.

Pull Request - State: closed - Opened by StefanBoodt almost 9 years ago - 2 comments

#49 - [RFC] Rewrite 'limiting queries' and cite practical example.

Pull Request - State: closed - Opened by gfokkema almost 9 years ago - 2 comments

#48 - [WIP] mealy feedback (mainly from sicco)

Pull Request - State: closed - Opened by sander2 almost 9 years ago - 2 comments

#47 - [RDY] More consistency fixes

Pull Request - State: closed - Opened by Balletie almost 9 years ago - 3 comments

#46 - [RFC] Consistency fixes updated

Pull Request - State: closed - Opened by Hjdskes almost 9 years ago

#45 - Fixes last comments with merge 3 and 4.

Issue - State: closed - Opened by gfokkema almost 9 years ago

#44 - Write another subsection in chapter 3

Issue - State: closed - Opened by Hjdskes almost 9 years ago

#43 - [RDY] Sections on Observation Pack and TTT algorithms

Pull Request - State: closed - Opened by Balletie almost 9 years ago - 2 comments

#42 - [RFC] Addition of Libalf to Tools (and some more details)

Pull Request - State: closed - Opened by alangerak almost 9 years ago - 4 comments

#41 - [RFC] Add pseudocode for L*

Pull Request - State: closed - Opened by gfokkema almost 9 years ago - 5 comments

#40 - [WIP] Add the abstract

Pull Request - State: closed - Opened by pvanagtmaal almost 9 years ago - 6 comments

#39 - Global todo list

Issue - State: open - Opened by gfokkema almost 9 years ago

#38 - For sander :p

Issue - State: closed - Opened by Hjdskes almost 9 years ago - 1 comment

#37 - [RFC] Consistency fixes

Pull Request - State: closed - Opened by Hjdskes almost 9 years ago - 3 comments

#37 - [RFC] Consistency fixes

Pull Request - State: closed - Opened by Hjdskes almost 9 years ago - 3 comments

#36 - [RFC] Addition the reset in the Variants chapter

Pull Request - State: closed - Opened by alangerak almost 9 years ago - 6 comments

#35 - Consistency issues

Issue - State: closed - Opened by Hjdskes almost 9 years ago - 3 comments

#34 - [RFC] Merge variants and theory-to-practice

Pull Request - State: closed - Opened by gfokkema almost 9 years ago - 3 comments

#33 - Cite with page numbers?

Issue - State: open - Opened by gfokkema almost 9 years ago - 4 comments

#32 - [RDY] Small fix in the W-method piece

Pull Request - State: closed - Opened by StefanBoodt almost 9 years ago - 4 comments

#31 - [RFC] Tools improvement

Pull Request - State: closed - Opened by alangerak almost 9 years ago - 2 comments

#30 - Random sampling for equiv queries

Issue - State: closed - Opened by sander2 almost 9 years ago - 4 comments

#29 - Sicco wanted the L* algorithm in the article

Issue - State: closed - Opened by Hjdskes almost 9 years ago - 4 comments

#28 - [WIP] Formalize mealy

Pull Request - State: closed - Opened by sander2 almost 9 years ago - 2 comments

#27 - [RFC] Change notation for queries and other operations

Pull Request - State: closed - Opened by Balletie almost 9 years ago - 3 comments

#26 - Use of italics

Issue - State: open - Opened by Hjdskes almost 9 years ago - 4 comments

#25 - Page numbers

Issue - State: closed - Opened by Hjdskes almost 9 years ago - 3 comments

#24 - Annotated pdf with suggestions for improvements.

Issue - State: closed - Opened by Hjdskes almost 9 years ago - 8 comments

#23 - [RDY] Reword and formalize Improvements section

Pull Request - State: closed - Opened by Balletie almost 9 years ago - 7 comments

#22 - Bibtex warns about editor xor author

Issue - State: open - Opened by gfokkema almost 9 years ago

#21 - [RFC] Do not number introduction and conclusion

Pull Request - State: closed - Opened by Hjdskes almost 9 years ago - 2 comments

#20 - [RFC] Do not number introduction and conclusion

Pull Request - State: closed - Opened by Hjdskes almost 9 years ago - 1 comment

#19 - [RFC] Bridge gap between theory and practice

Pull Request - State: closed - Opened by Hjdskes almost 9 years ago

#18 - [RDY] fixed issue #17 (incorrect observation table in l* example)

Pull Request - State: closed - Opened by sander2 almost 9 years ago

#17 - Errors in Table 1: Observation tables

Issue - State: closed - Opened by alangerak almost 9 years ago - 2 comments

#16 - [RDY] Integrating variants, mealy and w-method (#6, #8, #9)

Pull Request - State: closed - Opened by gfokkema almost 9 years ago - 6 comments

#15 - [RDY] Notation introduction and Myhill-Nerode theorem/equivalence classes

Pull Request - State: closed - Opened by Balletie almost 9 years ago - 1 comment
Labels: ready for merge

#14 - [RDY] L* complexity

Pull Request - State: closed - Opened by sander2 almost 9 years ago - 4 comments
Labels: ready for merge

#13 - Draft unsafe (#7 #11 #12)

Pull Request - State: closed - Opened by gfokkema almost 9 years ago

#12 - [WIP] Applications

Pull Request - State: closed - Opened by pvanagtmaal almost 9 years ago - 6 comments

#11 - [RFC] Application tools

Pull Request - State: closed - Opened by alangerak almost 9 years ago - 2 comments
Labels: ready for merge

#10 - [RDY] "Improvements" section: Rivest & Schapire's Counterexample Analysis

Pull Request - State: closed - Opened by Balletie almost 9 years ago - 3 comments

#9 - [RFC] mealy

Pull Request - State: closed - Opened by sander2 almost 9 years ago - 2 comments
Labels: rebase-safe

#8 - W method

Pull Request - State: closed - Opened by StefanBoodt almost 9 years ago - 9 comments
Labels: rebase-safe, ready for merge

#7 - [RFC] Bridge gap between theory and practice

Pull Request - State: closed - Opened by Hjdskes almost 9 years ago - 5 comments
Labels: ready for merge

#6 - [RFC] Variants

Pull Request - State: closed - Opened by gfokkema almost 9 years ago - 1 comment
Labels: rebase-safe

#5 - L*: hypothesis building and example run

Pull Request - State: closed - Opened by sander2 almost 9 years ago - 4 comments

#4 - Fundamental theory

Pull Request - State: closed - Opened by sander2 almost 9 years ago - 7 comments

#3 - [RDY] Provide a rough outline for the introduction

Pull Request - State: closed - Opened by Hjdskes almost 9 years ago - 4 comments

#2 - [RDY] Section on Classification Trees

Pull Request - State: closed - Opened by Balletie almost 9 years ago - 11 comments

#1 - Put numbers in front of every tex file since they're easier to remember.

Pull Request - State: closed - Opened by gfokkema almost 9 years ago - 1 comment

GitHub / balletie/asml-seminar-report issues and pull requests