Ladner, Tobias;Eichelbeck, Michael;Althoff, Matthias
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
arxiv
2024

Ladner, Tobias;Althoff, Matthias
Fully Automatic Neural Network Reduction for Formal Verification
arxiv
2024

Arne Sachtler, Davide Calzolari, Maximilian Raff, Annika Schmidt, Yannik P. Wotte, Cosimo Della Santina, C. David Remy, Alin Albu-Schäffer
Swing-Up of a Weakly Actuated Double Pendulum via Nonlinear Normal Modes
European Control Conference (ECC) 2024
2024

Nalcaci, Atilla Alpay; Mehmeti, Fidan; Kellerer, Wolfgang; Schiegg, Florian
Evaluation and Optimization of Positional Accuracy for Maritime Positioning Systems
IEEE WoWMoM
2024

Mehmeti, Fidan;Papa, Arled;Kellerer, Wolfgang;La Porta, Thomas F.
Minimizing Rate Variability with Effective Resource Utilization in Cellular Networks
IEEE Transactions on Mobile Computing
2024
1-17

J. Rosenberger, H. Boche, J.A. Cabrera, C. Deppe
Function Computation and Identification over Locally Homomorphic Multiple-Access Channels
2024

Yehezkeally, Yonatan;Polyanskii, Nikita
On Codes for the Noisy Substring Channel
IEEE Transactions on Molecular, Biological and Multi-Scale Communications
2024
1-1

Banerjee, Anisha;Yehezkeally, Yonatan;Wachter-Zeh, Antonia;Yaakobi, Eitan
Error-Correcting Codes for Nanopore Sequencing
IEEE Transactions on Information Theory
2024
1-1

Prado, Anna; Ciki, Merve; Mehmeti, Fidan; Kellerer, Wolfgang;
Enhanced Mobility Management with SD-RAN in 5G Networks
IFIP/IEEE Networking 2024
2024

Lercher, Florian;Althoff, Matthias
Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking
Proceedings of the IEEE Intelligent Vehicles Symposium (IV)
2024