|
[BCD+18]
Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein and Sascha Klüppelholz.
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination.
In It's All About Coordination. Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, volume 10865 of LNCS, pages 38-56, Springer.
2018.
[Presents an extension of PRISM with multi-action models to analyse exogenous coordination.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|