Optimal temporal logic control of autonomous vehicles
Thesis (Ph.D.)--Boston University === Temporal logics, such as Linear Temporal Logic (LTL) and Computation Tree Logic (CTL), are extensions of propositional logic that can capture temporal relations. Even though temporal logics have been used in model checking of finite systems for quite some time,...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
Boston University
2015
|
| Online Access: | https://hdl.handle.net/2144/12242 |