https://github.com/sherwinshen/pac_learn_dotas

🔨 A prototype tool for learning DOTAs based on PAC.
https://github.com/sherwinshen/pac_learn_dotas

automata model-learning pac timed-automata

Last synced: about 5 hours ago
JSON representation

🔨 A prototype tool for learning DOTAs based on PAC.

• Host: GitHub
• URL: https://github.com/sherwinshen/pac_learn_dotas
• Owner: sherwinshen
• License: mit
• Created: 2020-09-23T08:43:43.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2022-06-04T10:52:18.000Z (over 2 years ago)
• Last Synced: 2023-03-08T03:03:46.766Z (over 1 year ago)
• Topics: automata, model-learning, pac, timed-automata
• Language: Python
• Homepage:
• Size: 84 KB
• Stars: 2
• Watchers: 0
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project