Pavel Gonzalez

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 4

Top Topics

Opposite Direction

Scene Segmentation

Artifact Centric

Top Venues

Frontiers Neurorobotics

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Alicia Mora, Adrián Prados, Alberto Mendez, Gonzalo Espinoza, Pavel Gonzalez, Blanca López, Victor Muñoz, Luis Moreno, Santiago Garrido, Ramón Barber
ADAM: a robotic companion for enhanced quality of life in aging populations. Frontiers Neurorobotics 18 (2024)
Alicia Mora, Adrián Prados, Pavel Gonzalez, Luis Moreno, Ramón Barber
Intensity-Based Identification of Reflective Surfaces for Occupancy Grid Map Modification. IEEE Access 11 (2023)
Pavel Gonzalez, Alicia Mora, Santiago Garrido, Ramón Barber, Luis Moreno
Multi-LiDAR Mapping for Scene Segmentation in Indoor Environments for Mobile Robots. Sensors 22 (10) (2022)
Marcos Maroto, Enrique Caño, Pavel Gonzalez, Diego Villegas
Head-up Displays (HUD) in driving. CoRR (2018)
Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio
Verification of GSM-Based Artifact-Centric Systems by Predicate Abstraction. ICSOC (2015)
Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio
Model Checking GSM-Based Multi-Agent Systems. ICSOC Workshops (2013)
Francesco Belardinelli, Pavel Gonzalez, Alessio Lomuscio
Automated Verification of Quantum Protocols using MCMAS QAPL (2012)
Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio
Verifying GSM-Based Business Artifacts. ICWS (2012)