AI RESEARCH
A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
arXiv CS.AI
•
ArXi:2510.19444v3 Announce Type: replace-cross The analysis and control of stochastic dynamical systems rely on probabilistic models such as (continuous-space) Marko decision processes, but large or continuous state spaces make exact analysis intractable and call for principled quantitative abstraction.