research
∙
09/13/2023
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad
Generalized metric spaces are obtained by weakening the requirements (e....
share
research
∙
01/10/2023
Recursive Solution of Initial Value Problems with Temporal Discretization
We construct a continuous domain for temporal discretization of differen...
research
∙
08/25/2022
Robustness, Scott Continuity, and Computability
Robustness is a property of system analyses, namely monotonic maps from ...
research
∙
03/01/2022
A Domain-Theoretic Framework for Robustness Analysis of Neural Networks
We present a domain-theoretic framework for validated robustness analysi...
research
∙
09/17/2017