Policy Iteration-Based Conditional Termination and Ranking Functions
From MaRDI portal
Publication:2938083
DOI10.1007/978-3-642-54013-4_25zbMath1428.68125OpenAlexW290557103MaRDI QIDQ2938083
Publication date: 13 January 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-54013-4_25
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Computing invariants with transformers: experimental scalability and accuracy ⋮ Proving Termination Through Conditional Termination ⋮ Inference of ranking functions for proving temporal properties by abstract interpretation ⋮ Extended Nested Dual System Groups, Revisited
This page was built for publication: Policy Iteration-Based Conditional Termination and Ranking Functions
