formal-models topic
List
formal-models repositories
tla-specs
16
Stars
1
Forks
Watchers
TLA+ specifications of various protocols used by wallets in the nitro protocol.
catlearn
23
Stars
3
Forks
Watchers
Formal Psychological Models of Categorization and Learning
deepsynth
18
Stars
2
Forks
Watchers
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning