[Gom19]
Mauricio Gonzalez Gomez.
Stochastic Games on Graphs with Applications to Smart-Grids Optimization.
Ph.D. thesis, French National Center for Scientific Research (CNRS), University of Paris-Saclay.
2019.
[Presents formal methods for power consumption scheduling including the use of PM
RISM.]
|
