Optimisation Formal Semantics Topology optimization Transportation Adversarial attack Bitcoin mining Clustering COMPORTEMENT ARTS Security Safety Blockchain Deep Reinforcement Learning Bayesian optimization Eco-innovation Trust Adversarial attacks Apprentissage automatique Robustesse Sûreté de fonctionnement Ride-sharing Transport Scalability Neural network Multi-agent simulation Misbehavior Detection Machine Learning Scenario Population Pool hopping Collaboration Deep Learning MBSA Simulation Game theory Sequential Monte Carlo Subset simulation Machine learning Additive manufacturing ADAS C-ITS Optimization Time series Electric vehicles PERTURBATION Explainability Gaussian processes Mobilité Urban mobility Validation Transport simulation Scénarios Sustainability Visual analytics Privacy Multi-objective optimization Routing CLUSTERING Anomaly detection Evaluation Autonomous vehicles Interoperability TRANSPORT EN COMMUN IoT Cybersecurity Augmented reality Attacks Complexity C-RAN Autonomous Vehicle 5G AltaRica 30 Maintenance Digital twin Ontology Uncertainty Kriging AltaRica Complex system MBSE Standards Mining pools Intrusion detection Shared Autonomous Vehicle Isabelle/HOL Agent-based Model-Based Safety Assessment Modeling Expected improvement Autonomous vehicle Artificial intelligence Bitcoin Predictive maintenance SysML Cyber-Physical Systems Adversarial examples Deep learning Mobility Adversarial machine learning MATSim