QuAK/experiments at main · ista-vamos/QuAK · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
CMakeLists.txt		CMakeLists.txt
README.md		README.md
constant.cpp		constant.cpp
drone-sim.py		drone-sim.py
gen-aut.sh		gen-aut.sh
gen_smooth.py		gen_smooth.py
inclusion.cpp		inclusion.cpp
measure-inclusion.cpp		measure-inclusion.cpp
monitor.cpp		monitor.cpp
parse-pointer-motion.py		parse-pointer-motion.py
rand-trace.py		rand-trace.py
rand_automaton.py		rand_automaton.py
run-constant.py		run-constant.py
run.py		run.py

README.md

inclusion takes two automata (in .txt) on input and the value function (see help), computes the inclusion and measures the time
measure-inclusion-rand takes several parameters (see -help) and generates a bunch of random automata and measures the inclusion on them