|
[WLKV20]
Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki and Moshe Y. Vardi.
LTL_f Synthesis on Probabilistic Systems.
In Proc. Int’l Symposium on Games, Automata, Logics, and Formal Verification (GandALF'20).
2020.
[Presents techniques for finite-trace LTL and MDPs, with an implementation built on PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|