Projects in Awesome Lists tagged with timed-automata
A curated list of projects in awesome lists tagged with timed-automata .
https://github.com/sherwinshen/pac_learn_rtas
🔧 A prototype tool on learning real-time automata based on pac.
active-learning model-learning rta timed-automata
Last synced: 15 Apr 2025
https://github.com/sherwinshen/tas-learning-site
🏆 时间自动机模型学习工具站点（Timed Automata）
active-learning automata-learning model-learning timed-automata
Last synced: 15 Apr 2025
https://github.com/sherwinshen/pac_learn_dotas
🔨 A prototype tool for learning DOTAs based on PAC.
automata model-learning pac timed-automata
Last synced: 06 Mar 2025
https://github.com/harmim/vut-mba-projects
Analýza systémů založená na modelech - Projekty
ce-systems markov-chain markov-decision-processes mba model-based-analysis petri-nets timed-automata vut vut-fit
Last synced: 31 Mar 2025
https://github.com/sherwinshen/learning_ota_by_testing
🔨 A prototype tool on learning DOTAs by testing.
active-learning pac-learning timed-automata
Last synced: 06 Mar 2025
https://github.com/mrvideo/lampta
A simple lamp and button NTA made with UPPAAL
network-timed-automata timed-automata uppaal
Last synced: 13 Mar 2025
https://github.com/sherwinshen/mut_learn_dotas
🔨 A prototype tool for learning DOTAs based on mutation testing.
active-learning automata model-learning mutation-testing timed-automata
Last synced: 06 Mar 2025
https://github.com/sherwinshen/exact_learn_dotas
🔨 A prototype tool for learning DOTAs exactly.
automata model-learning timed-automata
Last synced: 06 Mar 2025
https://github.com/tsabelmann/uppaal-random-generator
A Python implementation of a random generator for Uppaal models.
model random random-generation timed-automata uppaal
Last synced: 14 Mar 2025
