Difference between revisions of "Publications/fages.21.seminar"
From LRDE
(Created page with "{{CSIReport | authors = Aymeric FAGES | title = Active Learning on Visibly One Counter Systems | year = 2021 | number = 2124 | abstract = This report focuses on an active lear...") |
|||
| Line 4: | Line 4: | ||
| year = 2021 |
| year = 2021 |
||
| number = 2124 |
| number = 2124 |
||
| − | | abstract = This report focuses on an active learning algorithm for the class of visibly one-counter automata,and its implementation in python and C++. The algorithm allows creating such automata using queriesto a |
+ | | abstract = This report focuses on an active learning algorithm for the class of visibly one-counter automata,and its implementation in python and C++. The algorithm allows creating such automata using queriesto a teacher, with no knowledge on the final automaton. We then discuss the possible improvements of the algorithm regarding the algorithm execution speed and the automaton represention. We also give an overview of how benchmarks could be perform on such a semi-automatic program. |
| type = techreport |
| type = techreport |
||
| id = fages.21.seminar |
| id = fages.21.seminar |
||
Latest revision as of 15:45, 10 March 2022
- Authors
- Aymeric FAGES
- Type
- techreport
- Year
- 2021
- Number
- 2124
Abstract
This report focuses on an active learning algorithm for the class of visibly one-counter automata,and its implementation in python and C++. The algorithm allows creating such automata using queriesto a teacher, with no knowledge on the final automaton. We then discuss the possible improvements of the algorithm regarding the algorithm execution speed and the automaton represention. We also give an overview of how benchmarks could be perform on such a semi-automatic program.