LearnTA

This is the source code repository for LearnTA --- A C++ library for active learning of deterministic timed automata.

Installation

LearnTA is tested on Ubuntu (20.04 and 22.04) and macOS (Big Sur 11, Monterey 12, and Ventura 13).

Requirements

• C++ compiler supporting C++17 and the corresponding libraries.
• Boost (>= 1.59)
• Eigen
• TBB
• CMake

To generate the document, Doxygen and graphviz are also required.

Instructions

mkdir build
cd build && cmake -DCMAKE_BUILD_TYPE=Release .. && make

By default, it does not build any executable examples. To build them, please run, for example, the following command.

make learn_simple_dta learn_ota_json learn_unbalanced_loop learn_fddi unit_test

How to run examples

The examples are in ./examples. See ./doc/CAVAE2023-local.md how to reproduce the experimental results of our CAV paper.