Instituto de Tecnología del Conocimiento (ITC)
Centro/Instituto
Universidad Politécnica de Madrid
Madrid, EspañaPublicaciones en colaboración con investigadores/as de Universidad Politécnica de Madrid (156)
2024
-
A novel adaptive vehicle speed recommender fuzzy system for autonomous vehicles on conventional two-lane roads
Expert Systems, Vol. 41, Núm. 2
-
Driving Behaviour Estimation System Considering the Effect of Road Geometry by Means of Deep NN and Hotelling Transform
Electronics (Switzerland), Vol. 13, Núm. 3
-
Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis
2023
-
Abnormal Driving Behavior Identification Based on Naturalistic Driving Data Using LSTM Recurrent Neural Networks
Lecture Notes in Networks and Systems
-
Comparison of Deep Reinforcement Learning Path-Following System Based on Road Geometry and an Adaptive Cruise Control for Autonomous Vehicles
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Inferring Needless Write Memory Accesses on Ethereum Bytecode
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Primera aproximación al modelado y control de tráfico
XLIV Jornadas de Automática: libro de actas: Universidad de Zaragoza, Escuela de Ingeniería y Arquitectura, 6, 7 y 8 de septiembre de 2023, Zaragoza
-
Vehicle Warning System Based on Road Curvature Effect Using CNN and LSTM Neural Networks
Lecture Notes in Networks and Systems
2022
-
Automated vehicles in swarm configuration: Simulation and analysis
Neurocomputing, Vol. 501, pp. 679-693
-
Fuzzy expert system for road type identification and risk assessment of conventional two-lane roads
Expert Systems, Vol. 39, Núm. 9
-
I CONGRESO ESPAÑOL DE VIDEOJUEGOS 2022
CEUR Workshop Proceedings
-
When COSTA Met KeY: Verified Cost Bounds
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 19-37
2021
-
Actor-based model checking for Software-Defined Networks
Journal of Logical and Algebraic Methods in Programming, Vol. 118
-
Don't run on fumes—Parametric gas bounds for smart contracts
Journal of Systems and Software, Vol. 176
-
Executive functions influence on memory process in patients with paranoid schizophrenia and bipolar disorders with and without psychotic symptoms: A pilot study
The Spanish Journal of Psychology, Núm. 24
-
Fuzzy-Logic Based Identification of Conventional Two-Lane Roads
Advances in Intelligent Systems and Computing
-
Fuzzy-Logic Based Identification of Conventional Two-Lane Roads
15th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2020): Burgos, Spain ; September 2020
-
Swarm Modelling Considering Autonomous Vehicles for Traffic Jam Assist Simulation
Advances in Intelligent Systems and Computing
-
Swarm Modelling Considering Autonomous Vehicles for Traffic Jam Assist Simulation
15th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2020): Burgos, Spain ; September 2020
2020
-
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)