inControl cover image

ep34 - inControl guide to ... Controllability & Observability

inControl

00:00

Reachability, Planning, and Formal Methods

Alberto links controllability to reachability in planning, model checking, and algorithmic reachable-set analysis.

Play episode from 41:36
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app