2 papers
cs.LG2024
Efficient and Mathematically Robust Operations for Certified Neural Networks Inference
Fabien Geyer, Johannes Freitag, Tobias Schulz +1
In recent years, machine learning (ML) and neural networks (NNs) have gained widespread use and attention across various domains, particularly in transportation for achieving auton…
cs.NI2023
Differentiable Programming & Network Calculus: Configuration Synthesis under Delay Constraints
Fabien Geyer, Steffen Bondorf
With the advent of standards for deterministic network behavior, synthesizing network designs under delay constraints becomes the natural next task to tackle. Network Calculus (NC)…