Title resolution pending

For a square as below left, implying the equations below right: F1 B1 F3 B3 F2 B2 F4 B4 f♯ f u♯ u g♯ g w♯ w ( w♯(f(x),g ♯(u(x),y)) =f ♯(x,u ♯(x,y)) w(f(x)) =g(u(x)) (A

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

representative citing papers

Compositionality of Lyapunov functions via assume-guarantee reasoning

cs.LO · 2026-04-03 · unverdicted · novelty 7.0

A categorical framework using lenses and tangencies provides compositional assume-guarantee reasoning for Lyapunov stability in generalized Moore machines and parameterized ODEs.

citing papers explorer

Showing 1 of 1 citing paper.

Compositionality of Lyapunov functions via assume-guarantee reasoning cs.LO · 2026-04-03 · unverdicted · none · ref 39
A categorical framework using lenses and tangencies provides compositional assume-guarantee reasoning for Lyapunov stability in generalized Moore machines and parameterized ODEs.

Title resolution pending

fields

years

verdicts

representative citing papers

citing papers explorer