DES-Lab / AALpy Star 153 Code Issues Pull requests Discussions An Automata Learning Library Written in Python automata markov-chain finite-state-machine kv markov-decision-processes dfa context-free-grammar model-based-testing test-case-generation probabilistic-automata automata-learning pushdown-automata lstar equivalence-oracles alergia rpni Updated May 9, 2024 Python
marcofavorito / pdfa-learning Star 10 Code Issues Pull requests Implementation of PDFAs and PDFA learning algorithm. automata pac automaton pdfa pfa probabilistic-automata pac-learning probabilistic-automaton Updated Jan 8, 2021 Python
Jishnuadhikary10 / FOREST_FIRE-USING-CELLULAR-AUTOMATA Star 2 Code Issues Pull requests Forest fire spread mode using probabilistic_cellular_automata and real life maps and variable conditions map color lightning random-forest cellular-automata fire pygame wind summer button-control probabilistic-automata python-imaging-library pixel-extraction pixel-color-conversion summer-school-cellular-automata Updated Jul 5, 2023 Python
dnjansen / FlowSim Star 0 Code Issues Pull requests compare the performance of several simulation algorithms for probabilistic automata. Accompanies the linked Information & Computation publication probabilistic-automata simulation-relation Updated Apr 25, 2016 C++