Description
Linear Temporal Logic is gaining increasing popularity as a high level specification language for robot motion planning due to its expressive power and scalability of LTL control synthesis algorithms. This formalism, however, requires expert knowledge and makes it inaccessible to non-expert users.
Copyright Statement
Download count: 0
Details
Contributors
- Srinivas, Shashank (Author)
- Fainekos, Georgios (Thesis advisor)
- Baral, Chitta (Committee member)
- Burleson, Winslow (Committee member)
- Arizona State University (Publisher)
Date Created
The date the item was original created (prior to any relationship with the ASU Digital Repositories.)
2013
Subjects
Resource Type
Collections this item is in
Note
- Partial requirement for: M.S., Arizona State University, 2013Note typethesis
- Includes bibliographical references (p. 56-60)Note typebibliography
- Field of study: Computer science
Citation and reuse
Statement of Responsibility
by Shashank Srinivas