---
bibliography:
- 'biblio.bib'
title: |
    Resource Analysis driven by\
    (Conditional) Termination Proofs[^1]
---

=1

\[firstpage\]

resource analysis, termination analysis, cost relation systems, upper bounds

intro

condterm

\[lastpage\]

[^1]: This work was funded partially by the Spanish MICINN/FEDER, UE projects RTI2018-094403-B-C31, RTI2018-094403-B-C33 and RTI2018-095609-B-I00, the MINECO project TIN2015-69175-C4-2-R, the MINECO/FEDER, UE projects TIN2015-69175-C4-3-R and TIN2015-66293-R, and by the CM project S2018/TCS-4314.