Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction
2021
We present a scalable methodology to verify stochastic hybrid systems for inequality linear temporal logic (iLTL) or inequality metric interval temporal logic (iMITL). Using the Mori–Zwanzig reduct...
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
61
References
0
Citations
NaN
KQI