https://github.com/sherwinshen/pac_learn_rtas

🔧 A prototype tool on learning real-time automata based on pac.
https://github.com/sherwinshen/pac_learn_rtas

active-learning model-learning rta timed-automata

Last synced: about 2 months ago
JSON representation

🔧 A prototype tool on learning real-time automata based on pac.

• Host: GitHub
• URL: https://github.com/sherwinshen/pac_learn_rtas
• Owner: sherwinshen
• License: mit
• Created: 2020-03-27T13:53:23.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2022-06-04T10:55:13.000Z (over 2 years ago)
• Last Synced: 2023-03-08T03:03:46.799Z (almost 2 years ago)
• Topics: active-learning, model-learning, rta, timed-automata
• Language: Python
• Homepage:
• Size: 202 KB
• Stars: 7
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project