exit-times

Here is 1 public repository matching this topic...

cvaldepenas / gtpa

GTPA: agency on a noisy base motion, without physics. Core edition with Part H, the human sector (UTHA re-derived). Mirror of the Zenodo record (all versions: concept DOI).

optimal-control stochastic-differential-equations formal-verification adaptive-control value-of-information stochastic-control nonlinear-filtering phase-locking lean4 ai-assisted-research agent-modelling markovian-switching exit-times

Updated Oct 14, 2026
Lean

Add this topic to your repo

To associate your repository with the exit-times topic, visit your repo's landing page and select "manage topics."

Learn more