Q5091264 (Q5091264): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Low-Depth Uniform Threshold Circuits and the Bit-Complexity of Straight Line Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Complexity of Numerical Analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5322945 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3241581 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Complexity of Decentralized Control of Markov Decision Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3795523 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3376698 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A survey of computational complexity results in systems and control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Markov decision processes with applications to finance. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of Model Checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3112630 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Limit Synchronization in Markov Decision Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Complexity of the Simplex Method / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4258591 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4843270 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Uniform constant-depth threshold circuits for division and iterated multiplication. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4215779 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity of finite-horizon Markov decision process problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Complexity of Markov Decision Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: A note on succinct representations of graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sound value iteration / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4547447 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Variance Reduced Value Iteration and Faster Algorithms for Solving Markov Decision Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4626283 / rank
 
Normal rank

Revision as of 16:41, 29 July 2024

scientific article; zbMATH DE number 7561595
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7561595

    Statements

    0 references
    0 references
    0 references
    0 references
    0 references
    21 July 2022
    0 references
    Markov decision processes
    0 references
    value iteration
    0 references
    formal verification
    0 references

    Identifiers