Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 16 Nov 2024
https://github.com/sherwinshen/tas-learning-site
🏆 时间自动机模型学习工具站点（Timed Automata）
active-learning automata-learning model-learning timed-automata
Last synced: 16 Nov 2024
https://github.com/sherwinshen/pac_learn_dotas
🔨 A prototype tool for learning DOTAs based on PAC.
automata model-learning pac timed-automata
Last synced: 16 Nov 2024
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: 16 Nov 2024
https://github.com/sherwinshen/exact_learn_dotas
🔨 A prototype tool for learning DOTAs exactly.
automata model-learning timed-automata
Last synced: 16 Nov 2024
https://github.com/sherwinshen/learning_ota_by_testing
🔨 A prototype tool on learning DOTAs by testing.
active-learning pac-learning timed-automata
Last synced: 16 Nov 2024