An Inverse Method for Policy-Iteration Based Algorithms

@inproceedings{Fribourg2009AnIM,
  title={An Inverse Method for Policy-Iteration Based Algorithms},
  author={L. Fribourg and {\'E}. Andr{\'e}},
  booktitle={INFINITY},
  year={2009}
}
  • L. Fribourg, É. André
  • Published in INFINITY 2009
  • Computer Science, Mathematics
  • We present an extension of two policy-iteration based algorithms on weighted graphs (viz., Markov Decision Problems and Max-Plus Algebras). This extension allows us to solve the following inverse problem: considering the weights of the graph to be unknown constants or parameters, we suppose that a reference instantiation of those weights is given, and we aim at computing a constraint on the parameters under which an optimal policy for the reference instantiation is still optimal. The original… CONTINUE READING
    7 Citations
    Synthesis for PCTL in Parametric Markov Decision Processes
    • 78
    • PDF
    Model Repair for Markov Decision Processes
    • 60
    • PDF
    Parameter Synthesis for Markov Models
    • 6
    • PDF
    Model checking stochastic hybrid systems
    • 15
    • PDF
    Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time
    • 74

    References

    SHOWING 1-10 OF 19 REFERENCES
    Numerical Computation of Spectral Elements in Max-Plus Algebra☆
    • 196
    • PDF
    Policy optimization for dynamic power management
    • 248
    • PDF
    Markov decision process
    • 41
    • PDF
    An Inverse Method for Parametric Timed Automata
    • 79
    • PDF
    Policy optimization for dynamic power management
    • 321
    • PDF
    Time Separation of Events: An Inverse Method
    • 7
    • PDF
    A Theory of Timed Automata
    • 6,818
    • Highly Influential
    • PDF
    A
    • 218,342
    • PDF
    M
    • M. Sankar
    • Edinburgh Medical and Surgical Journal
    • 1824
    • 291,668
    • Highly Influential