Robustness, Scott continuity, and computability

DOI10.1017/s0960129523000233arXiv2208.12347MaRDI QIDQ6190407

Amin Farjudian, Eugenio Moggi

Publication date: 5 March 2024

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2208.12347

zbMATH Keywords

robustnesstopologycategory theorycontinuous lattices

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Kernel methods in machine learning
• Functional analysis, Sobolev spaces and partial differential equations
• Effectively given domains
• Safe \& robust reachability analysis of hybrid systems
• Dynamical systems, measures, and fractals via domain theory
• The weak-star closure of the unit ball in a subspace
• When Scott is weak on the top
• Continuous Lattices and Domains
• Hybrid dynamical systems
• Simulation Hemi-metrics between Infinite-State Stochastic Games
• On Weakly Compact Subsets of Banach Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Robustness, Scott continuity, and computability