A neural-symbolic system for monitoring over traces of observations. Based on Barringer et al.'s RuleR rule system extracts a rule-based neural network capable of performing trace monitoring.
rispoli/nesy
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|