Formal methods for motion planning and control in dynamic and partially known environments
This thesis is motivated by time and safety critical applications involving the use of autonomous vehicles to accomplish complex tasks in dynamic and partially known environments. We use temporal logic to formally express such complex tasks. Temporal logic specifications generalize the classical not...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2016
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/2144/15192 |