Ishan S.

@nahsimai.bsky.social

7 Followers · 33 Following

PhD student, using scene graphs to formalize and validate autonomous systems at runtime. #FormalMethods #RuntimeMonitoring #SceneGraphs

Nothing here yet.