About this document
Regular Safety Properties in LTL by farbodtavakolizade is a document available to read on EtoBox.
The document discusses regular linear temporal (LT) properties, defining them as languages of infinite words represented by finite automata. It emphasizes the concept of safety properties, which are regular if the set of bad prefixes is regular, and introduces nondeterministic finite automata (NFA) as a key tool for representation. The document also includes examples and symbolic notations related to NFAs and safety properties.
- Author
- farbodtavakolizade
- Language
- EN