Notoplana atomata
National Institutes of Health
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
It is known that Linear Temporal Logic (LTL) has the same expressive power as alternating 1-weak automata (A1W automata, also…