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