Search Results - "computation/computing"

Motion Primitive Path Planning for Parametrically Uncertain Systems via the Koopman Operator by Gutow, Geordan Mihalick

“…This work considers the application of motion primitives to path planning and obstacle avoidance problems in which the system is subject to significant parametric and/or initial condition uncertainty…”
Get full text

Denotational semantics of recursive types in synthetic guarded domain theory by Mogelberg, Rasmus Ejlers, Paviotti, Marco

“… (simply typed lambda calculus with fixed points). This model was intensional in that it could distinguish between computations computing the same result using a different…”
Get full text