File(s) under permanent embargo
Supplemental Materials for "From Passive to Active: Learning Timed Automata Efficiently"
Version 2 2020-04-28, 08:08
Version 1 2020-03-17, 07:37
conference contribution
posted on 2020-03-17, 07:37 authored by Andrea PferscherAndrea Pferscher, Martin TapplerMartin TapplerContent:
- jar-file: GUI demonstrator implementing an active and a passive learning technique of timed automata via genetic programming
- readme-file: installation guide and short user manual for the tool
- jar-file: GUI demonstrator implementing an active and a passive learning technique of timed automata via genetic programming
- readme-file: installation guide and short user manual for the tool
- zip-file: Graphviz dot-files of all timed automata used for the case study