Pages that link to "Item:Q2164261"
From MaRDI portal
The following pages link to On multiphase-linear ranking functions (Q2164261):
Displaying 11 items.
- Reflections on termination of linear loops (Q832249) (← links)
- Decision tree learning in CEGIS-based termination analysis (Q832251) (← links)
- Inferring expected runtimes of probabilistic integer programs using expected sizes (Q2044203) (← links)
- Synthesizing ranking functions for loop programs via SVM (Q2084940) (← links)
- Automatic complexity analysis of integer programs via triangular weakly non-linear loops (Q2104561) (← links)
- Algebraic model checking for discrete linear dynamical systems (Q2112097) (← links)
- (Q5089280) (← links)
- (Q5092319) (← links)
- Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis (Q5108517) (← links)
- Multiphase-linear ranking functions and their relation to recurrent sets (Q6536301) (← links)
- Termination analysis of programs with multiphase control-flow (Q6647299) (← links)
