{"type":"post","id":"action-guided-reachability-for-deterministic-world-models-of-04eb8f","slug":"action-guided-reachability-for-deterministic-world-models-of-04eb8f","title":"Action-Guided Reachability for Deterministic World Models of Vision-Based Systems","description":"The authors of a new paper propose a deterministic world model that maps physical states directly to camera images, then uses it to make reachability analysis of vision-based controllers tighter.","retrieval_nugget":"The authors of a new paper propose a deterministic world model that maps physical states directly to camera images, then uses it to make reachability analysis of vision-based controllers tighter. Across a CARLA braking system and three Gym benchmarks, the paper reports narrower robustness intervals than a conditional GAN surrogate, offering a path to more useful controller verification.","published_at":"2026-11-14","updated_at":"2026-11-14","record_date":"2026-11-14","date_kind":"published_at","topics":["models"],"entities":["Deterministic World Model","CARLA","Gym","Yuang Geng","Zhongzheng Zhang","Ivan Ruchkin"],"related_patterns":["scientific-agents-need-artifact-evidence"],"novelty_label":"new_fact","what_changed":"The paper proposes a latent-free decoder for mapping physical states to camera images, enabling tighter verification of vision-based control systems.","prior_refs":["https://newruntime.com/posts/mbzuai-s-institute-of-foundation-models-releases-pan-26018c/"],"source_url":"https://arxiv.org/abs/2512.08991","source_urls":["https://arxiv.org/abs/2512.08991"],"schema_version":"newruntime-agent-readable-v0.2","stable_id":"post:action-guided-reachability-for-deterministic-world-models-of-04eb8f","status":"published","visuals":[],"editor":{"role":"editor","name":"Andrey Reshetnikov","profile":"https://newruntime.com/owner-profile.md","profile_json":"https://newruntime.com/owner-profile.json","same_as":["https://www.linkedin.com/in/reshetnikov1/","https://t.me/lapetuse"]},"routes":{"html":"https://newruntime.com/posts/action-guided-reachability-for-deterministic-world-models-of-04eb8f/","markdown":"https://newruntime.com/posts/action-guided-reachability-for-deterministic-world-models-of-04eb8f.md","json":"https://newruntime.com/posts/action-guided-reachability-for-deterministic-world-models-of-04eb8f.json"},"markdown_url":"https://newruntime.com/posts/action-guided-reachability-for-deterministic-world-models-of-04eb8f.md","next_reads":[{"type":"topic","path":"/topics/models/","url":"https://newruntime.com/topics/models/","title":"Models","reason":"Explore the models topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/models.md","json_url":"https://newruntime.com/topics/models.json"},{"type":"collection","path":"/posts/","url":"https://newruntime.com/posts/","title":"Field Notes","reason":"Open the latest editorial analysis.","media_type":"text/html","json_url":"https://newruntime.com/posts.json"},{"type":"collection","path":"/sources/","url":"https://newruntime.com/sources/","title":"Sources","reason":"See the original sources this archive cites.","media_type":"text/html"}]}