ROSCoq

swMATH13285MaRDI QIDQ25200FDOQ25200

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-22102-1_3

Described by source

• ROSCoq: robots powered by constructive reals

Cited In (3)

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

This page was built for software: ROSCoq