|
[EWP20]
Mahmoud Elfar, Yu Wang and Miroslav Pajic.
Context-Aware Temporal Logic for Probabilistic Systems.
In Proc. Automated Technology for Verification and Analysis (ATVA'20).
2020.
[Considers model checking for a novel context-aware probabilistic temporal logic, implemented as an extension of PRISM-games.]
|
|
Links:
[Google]
[Google Scholar]
|