Showing 2026Show all
3 papers · 1 filter
cs.LO2026
Robustness Analysis via Horofunction Compactification
Harrison Bennett, Amin Farjudian
Robustness analysis plays a central role in the verification and design of computational and hybrid systems, particularly when system behaviour depends continuously on parameters s…
math.GN2026
Metrization of Quasi-Uniformities, Powerset Monads, and Qualitative Robustness Analysis
Francesco Dagnino, Amin Farjudian, Eugenio Moggi
We study the relationship between quasi-uniform spaces, topological spaces, and quantale-valued metric spaces. Our main result is a metrization theorem establishing an equivalence…
cs.LO2026
A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets
Abbas Edalat, Pietro Di Gianantonio, Amin Farjudian
We develop a domain-theoretic framework for imprecise probability reasoning and inference on general topological spaces with a countably based continuous lattice of open sets. We a…