ROSCoq

swMATH13285MaRDI QIDQ25200FDOQ25200

Author name not available (Why is that?)

Described by source

• ROSCoq: robots powered by constructive reals

Cited In (1)

• Computable decision making on the reals and other spaces. Via partiality and nondeterminism

This page was built for software: ROSCoq