Balletie asml-seminar-report issues

Balletie / asml-seminar-report

Bachelor Seminar report on active state machine learning

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

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

#65 Balletie closed 8 years ago
1
mention other automaton types

#64 sander2 closed 8 years ago
1
Consistency fixes 5

#63 Hjdskes closed 8 years ago
1
[RFC] Feedback sicco

#62 Balletie closed 8 years ago
3
[RDY] Consistency fixes 4

#61 Hjdskes closed 8 years ago
0
[RFC] Re-add applications chapter

#60 pvanagtmaal closed 8 years ago
1
[RFC] Remove standalone compiling, fix page margins

#59 Balletie closed 8 years ago
4
[RFC] Add page numbering top-right

#58 pvanagtmaal closed 8 years ago
1
random sampling & intro w-method

#57 sander2 closed 8 years ago
2
[RFC] Introduce access string notation

#56 Balletie closed 8 years ago
1
Introduce an example of the observation table earlier in the text

#55 sander2 closed 8 years ago
0
[RFC] Add conclusion

#54 pvanagtmaal closed 8 years ago
5
[RDY] minor adjustment in L* pseudocode refs

#53 sander2 closed 8 years ago
1
Remove redundant (base) from algorithm list (LearnLib)

#52 pvanagtmaal closed 8 years ago
1
Misplaced paragraph at the end of chapter 3

#51 pvanagtmaal closed 8 years ago
1
Started with the pseudocode for W-method.

#50 StefanBoodt closed 8 years ago
2
[RFC] Rewrite 'limiting queries' and cite practical example.

#49 gfokkema closed 8 years ago
2
[WIP] mealy feedback (mainly from sicco)

#48 sander2 closed 8 years ago
2
[RDY] More consistency fixes

#47 Balletie closed 8 years ago
3
[RFC] Consistency fixes updated

#46 Hjdskes closed 8 years ago
0
Fixes last comments with merge 3 and 4.

#45 gfokkema closed 8 years ago
0
Write another subsection in chapter 3

#44 Hjdskes closed 8 years ago
0
[RDY] Sections on Observation Pack and TTT algorithms

#43 Balletie closed 8 years ago
2
[RFC] Addition of Libalf to Tools (and some more details)

#42 alangerak closed 8 years ago
4
[RFC] Add pseudocode for L*

#41 gfokkema closed 8 years ago
5
[WIP] Add the abstract

#40 pvanagtmaal closed 8 years ago
6
Global todo list

#39 gfokkema opened 8 years ago
0
For sander :p

#38 Hjdskes closed 8 years ago
1
[RFC] Consistency fixes

#37 Hjdskes closed 8 years ago
3
[RFC] Addition the reset in the Variants chapter

#36 alangerak closed 8 years ago
6
Consistency issues

#35 Hjdskes closed 8 years ago
3
[RFC] Merge variants and theory-to-practice

#34 gfokkema closed 8 years ago
3
Cite with page numbers?

#33 gfokkema opened 8 years ago
4
[RDY] Small fix in the W-method piece

#32 StefanBoodt closed 8 years ago
4
[RFC] Tools improvement

#31 alangerak closed 8 years ago
2
Random sampling for equiv queries

#30 sander2 closed 8 years ago
4
Sicco wanted the L* algorithm in the article

#29 Hjdskes closed 8 years ago
4
[WIP] Formalize mealy

#28 sander2 closed 8 years ago
2
[RFC] Change notation for queries and other operations

#27 Balletie closed 8 years ago
3
Use of italics

#26 Hjdskes opened 8 years ago
4
Page numbers

#25 Hjdskes closed 8 years ago
3
Annotated pdf with suggestions for improvements.

#24 Hjdskes closed 8 years ago
8
[RDY] Reword and formalize Improvements section

#23 Balletie closed 8 years ago
7
Bibtex warns about editor xor author

#22 gfokkema opened 8 years ago
0
[RFC] Do not number introduction and conclusion

#21 Hjdskes closed 8 years ago
2
[RFC] Do not number introduction and conclusion

#20 Hjdskes closed 8 years ago
1
[RFC] Bridge gap between theory and practice

#19 Hjdskes closed 8 years ago
0
[RDY] fixed issue #17 (incorrect observation table in l* example)

#18 sander2 closed 8 years ago
0
Errors in Table 1: Observation tables

#17 alangerak closed 8 years ago
2
[RDY] Integrating variants, mealy and w-method (#6, #8, #9)

#16 gfokkema closed 8 years ago
6