Robustness Measure for Monitoring and Motion Planning for Stochastic Systems Subject to Signal Temporal Logic Specifications / R. B Ilyes.
In this thesis, I present a novel robustness measure for continuous-time stochastic trajectories with respect to Signal Temporal Logic (STL) specifications. This measure uses probability theory and the qualitative semantics of STL to act as quantitative semantics of STL, as it applies to stochastic...
Saved in:
Online Access: |
Connect to online resource |
---|---|
Main Author: | |
Format: | Thesis Electronic eBook |
Language: | English |
Published: |
Ann Arbor :
ProQuest Dissertations & Theses,
2022
|
Subjects: |