hasAutomataCorrespondence
2
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Linear_temporal_logic | Büchi automata |
| gptkb:Linear_temporal_logic | ω-automata |