2 papers
cs.SE2024
Spatio-Temporal Analysis of Concurrent Networks
Heinz Schmidt, Peter Herrmann, Maria Spichkova +3
Many very large-scale systems are networks of cyber-physical systems in which humans and autonomous software agents cooperate. To make the cooperation safe for the humans involved,…
physics.ins-det2023
A Highly Segmented Neutron Polarimeter for A1
R. Spreckels, M. Hoek, U. Müller +1
A new neutron polarimeter for measuring the neutron's electric form factor was designed and constructed to complement the A1 spectrometer setup at the Mainz Microtron (MAMI). The d…