Today, Deep Learning (DL) enhances almost every industrial sector, inclu...
For the verification of systems using model-checking techniques, symboli...
Modern safety-critical systems are heterogeneous, complex, and highly
dy...
Redundancy mechanisms such as triple modular redundancy protect
safety-c...