3 papers
cs.LG2026
Shifting-based Optimizable Linear Relaxations for General Activation Functions
Philipp Kern, László Antal, Erika Ãbráham +1
The use of neural networks (NNs) is rapidly increasing, including in safety- and security-critical domains. To provide formal guarantees about NN behavior, many verification method…
cs.FL2026
Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
Joanna Delicaris, Erika Ãbrahám, Anne Remke
Control applications for cyber-physical systems must make reliably safe control decisions in the presence of continuous dynamics as well as stochastic uncertainty. Providing safety…
cs.LO2026
Tractable Hyperproperties for MDPs
Lina Gerlach, Tobias Winkler, Erika Ãbrahám +2
Probabilistic hyperproperties describe probabilistic relations between multiple sets of executions in a stochastic system. Prominent examples include information-theoretic characte…