Proving Termination by Policy Iteration (Q5170173)

From MaRDI portal
Revision as of 18:29, 8 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)





scientific article; zbMATH DE number 6319524
Language Label Description Also known as
English
Proving Termination by Policy Iteration
scientific article; zbMATH DE number 6319524

    Statements

    Identifiers