A Complete Method for the Synthesis of Linear Ranking Functions

By Andreas Podelski, Andrey Rybalchenko. International Conference on Verification, Model Checking and Abstract Interpretation, 2004

501 citations recorded by the source corpus.

Subfields: Management Science and Operations Research

View Paper: https://www.semanticscholar.org/paper/460dac2384bb54b10af2945e0d2a7f1485571755

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Management Science and Operations Research

1. Siddharth Srivastava
2. Byron Cook
3. Shlomo Zilberstein
4. Neil Immerman
5. Andrey Rybalchenko
6. Andreas Podelski
7. Frans Adriaan Oliehoek
8. Chris Amato

Citations in the corpus

• A new representation and associated algorithms for generalized planning (2011, methodology): “This direction of research can also benefit from methods used in generation of ranking functions for loops [26].”
• Termination proofs for systems code (2006, methodology): “The construction of a ranking functi on for this program and of the corresponding ranking relation W is implemented via techniques explained in [20].”