GitHub - bjowac/minauto: Minimization of Probabilistic Automata · GitHub

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
.gitignore		.gitignore
Automaton.cpp		Automaton.cpp
Automaton.hpp		Automaton.hpp
BLAS.cpp		BLAS.cpp
BLAS.hpp		BLAS.hpp
EquivAlgorithms.hpp		EquivAlgorithms.hpp
GramSchmidt.hpp		GramSchmidt.hpp
Inflate.hpp		Inflate.hpp
Makefile		Makefile
Minimisation.hpp		Minimisation.hpp
Mutate.hpp		Mutate.hpp
README.md		README.md
RandomValueMap.cpp		RandomValueMap.cpp
RandomValueMap.hpp		RandomValueMap.hpp
RandomisedEquiv.hpp		RandomisedEquiv.hpp
Timer.cpp		Timer.cpp
Timer.hpp		Timer.hpp
Util.cpp		Util.cpp
Util.hpp		Util.hpp
WordTree.cpp		WordTree.cpp
WordTree.hpp		WordTree.hpp
Worklist.hpp		Worklist.hpp
dlmalloc.cpp		dlmalloc.cpp
dlmalloc.h		dlmalloc.h
example.cpp		example.cpp
main.cpp		main.cpp
mpreal.cpp		mpreal.cpp
mpreal.h		mpreal.h
mpreal_interval.hpp		mpreal_interval.hpp

Repository files navigation

INSTALLATION and MANUAL

To compile the equivalence checker install Boost libraries and lib mpfr.

The executable is called "equiv". Equivalence can be checked by the following command:

equiv

where and contain the probabilistic automata in APEX format.

About

Minimization of Probabilistic Automata

0 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages