Privacy-preserving E-ticketing Systems for Public Transport Based on RFID/NFC Technologies
On safety assessment of automated driving systems using simulation-based testing and formal methods
Hybrid Continuous-Time Deep Neural Networks for Robot System Identification and Control