1/1

3 files

Supplementary Material for "Learning Timed Automata via Genetic Programming"

Version 2 2019-01-09, 15:01

Version 1 2018-12-20, 11:49

dataset

posted on 2019-01-09, 15:01 authored by Martin TapplerMartin Tappler, Andrea PferscherAndrea Pferscher

Content:

- GUI demonstrator implementing genetic programming of timed automata
- readme-file describing the demonstrator

- Graphviz dot-files of all timed automata used for the evaluation

History

Usage metrics

Categories

Software engineering not elsewhere classified

Keywords

timed automata automata learning model learning model inference genetic programming Software Engineering

Licence

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM

DC