1">Model agents decision making problems under uptime-guarantee maintenance contracts.
Optimize provider’s expected profit due to single contracts under IGFR valuation.
Maximize profit due to contract menus under convex costs and IGFR valuations.
Provide necessary and sufficient conditions for the existence of optimal contracts.