2 citations · 4 across the 5 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Formal verification of tilt estimation using the Rocq prover
Reynald Affeldt, Lynda Bentoucha, Yoshihiro Ishiguro +1
The safe operation of a humanoid robot critically relies on accurate estimation of its vertical orientation, or ``tilt''. This requires a variety of mathematical tools, including t…
math.NA2026
Algorithmic Cost in "Exact Real Computation"
Jihoon Hyun, Holger Thies, Martin Ziegler
Turing completeness of a programming language or system characterizes its expressive power; and the strong Church-Turing hypo-/thesis refines such from qualitative to polynomial-ti…