Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
arxiv
2024
Swing-Up of a Weakly Actuated Double Pendulum via Nonlinear Normal Modes
European Control Conference (ECC) 2024
2024
Evaluation and Optimization of Positional Accuracy for Maritime Positioning Systems
IEEE WoWMoM
2024
Minimizing Rate Variability with Effective Resource Utilization in Cellular Networks
IEEE Transactions on Mobile Computing
2024
1-17
Function Computation and Identification over Locally Homomorphic Multiple-Access Channels
2024
On Codes for the Noisy Substring Channel
IEEE Transactions on Molecular, Biological and Multi-Scale Communications
2024
1-1
Error-Correcting Codes for Nanopore Sequencing
IEEE Transactions on Information Theory
2024
1-1
Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking
Proceedings of the IEEE Intelligent Vehicles Symposium (IV)
2024