|
[vEJ12]
Christian von Essen and Barbara Jobstmann.
Synthesizing Efficient Controllers.
In Proc. 13th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'12), volume 7148 of LNCS, pages 428-444, Springer.
2012.
[bib]
[Presents MDP-based controller synthesis techniques for ratio objectives and implements them in an extension of PRISM.]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|