Abstract
In this chapter, we introduce the syntax and semantics of Linear Temporal Logic (LTL) and of one of its fragments, called syntactically co-safe LTL (scLTL), and we illustrate them through several examples.We also define the automata that will be later used for system analysis and control from such specifications.
Cite
CITATION STYLE
APA
Belta, C., Yordanov, B., & Aydin Gol, E. (2017). Temporal logics and automata. In Studies in Systems, Decision and Control (Vol. 89, pp. 27–38). Springer International Publishing. https://doi.org/10.1007/978-3-319-50763-7_2
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free