ROSCoq

MaRDI QIDQ25200swMATHFDO

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)

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

This page was built for software: ROSCoq