A Higher-Order Vampire (Short Paper)
Lecture Notes in Computer Science, Automated Reasoning· 2025DOI Ahmed Bhayat, Martin Suda
Demonstration of an Open-source ROS 2 Framework and Simulator for Situated Interactive Social Robot
Sara Cooper, Raquel Ros, Séverin Lemaignan, Ferran Gebellí, Lorenzo Ferrini, Luka Juri?ić
Evaluation of a model-driven approach for the integration of robot operating system-based complex robot systems
International Journal of Advanced Robotic Systems· 2025DOI Nadia Hammoudeh García, Yuzhang Chen, David Lieb, Andreas Wortmann
Open source robot localization for nonplanar environments
Journal of Field Robotics· 2025DOI Francisco Martín Rico, José Miguel Guerrero Hernández, Rodrigo Pérez‐Rodríguez, Juan Diego Peña‐Narvaez, Alberto García Gómez‐Jacinto
Personalised Explainable Robots Using LLMs
Ferran Gebellí, Lavinia Hriscu, Raquel Ros, Séverin Lemaignan, Alberto Sanfeliu, Anaís Garrell
The Vampire Day
Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdu, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov
A Formal Proof of R(4,5)=25
15th International Conference on Interactive Theorem Proving (ITP 2024)· 2024DOI Gauthier, Thibault; Brown, Chad E.
A Methodology for Designing Knowledge-Driven Missions for Robots
2024 7th Iberian Robotics Conference (ROBOT)· 2024DOI Guillermo GP-Lenza, Carmen DR.Pita-Romero, Miguel Fernandez-Cortizas, Pascual Campoy
A survey of ontology-enabled processes for dependable robot autonomy
Frontiers in Robotics and AI· 2024DOI Esther Aguado; Esther Aguado; Virgilio Gomez; Virgilio Gomez; Miguel Hernando; Claudio Rossi; Ricardo Sanz; Ricardo Sanz
Benchmarking Sim2Real Gap: High-fidelity Digital Twinning of Agile Manufacturing
S. Katyaraa , S. Sharmab , P. Damacharlac , C.Garcia -Santiagoa , L. Dhiranid ,B. S. Chowdhrye
Category Theory for Autonomous Robots: The Marathon 2 Use Case
Robot 2023: Sixth Iberian Robotics Conference· 2024DOI Aguado, Esther; Gómez, Virgilio; Hernando, Miguel; Rossi, Claudio; Sanz, Ricardo
Category Theory for Autonomous Robots: The Marathon 2 Use Case
Lecture Notes in Networks and Systems, Robot 2023: Sixth Iberian Robotics Conference· 2024DOI Esther Aguado, Virgilio Gómez, Miguel Hernando, Claudio Rossi, Ricardo Sanz
Collaborating for Success: Optimizing System Efficiency and Resilience Under Agile Industrial Settings
Cornel university· 2024DOI Sunny Katyara, Suchita Sharma, Praveen Damacharla, Carlos Garcia Santiago, Francis O'Farrell, Philip Long
Data in Brief
Irene González Fernández; Juan Diego Peña Narváez; José Miguel Guerrero Hernández; Rodrigo Pérez Rodríguez; Alejandro González Cantón; Francisco Javier Rodríguez Lera
IEEE Access
Martin Vastl; Jonáš Kulhánek; Jiří Kubalík; Erik Derner; Robert Babuška
Learning Guided Automated Reasoning: A Brief Survey
Lecture Notes in Computer Science, Logics and Type Systems in Theory and Practice· 2024DOI Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubův, Cezary Kaliszyk, Martin Suda, Josef Urban
Multi S-Graphs: An Efficient Distributed Semantic-Relational Collaborative SLAM
IEEE Robotics and Automation Letters· 2024DOI Miguel Fernandez-Cortizas, Hriday Bavle, David Perez-Saura, Jose Luis Sanchez-Lopez, Pascual Campoy, Holger Voos
The Landscape of Collective Awareness in Multi-robot Systems
Springer Proceedings in Advanced Robotics, European Robotics Forum 2024· 2024DOI Miguel Fernandez-Cortizas, David Perez-Saura, Ricardo Sanz, Martin Molina, Pascual Campoy
Towards a Theory of Awareness
Proceedings of the 16th International Conference on Agents and Artificial Intelligence· 2024DOI Ricardo Sanz, Manuel Rodríguez, Martín Molina, Esther Aguado, Virgilio Gómez
A multi-UAV system for coverage path planning applications with in-flight re-planning capabilities
Journal of Field Robotics· 2023DOI Marco Andrés Luna; Martin Molina; Rodrigo Da‐Silva‐Gomez; Javier Melero‐Deza; Pedro Arias‐Perez; Pascual Campoy
A visual questioning answering approach to enhance robot localization in indoor environments
Frontiers in Neurorobotics· 2023DOI Juan Diego Peña-Narvaez, Francisco Martín, José Miguel Guerrero, Rodrigo Pérez-Rodríguez
Autonomous Robots
Autonomous Robots· 2023DOI Steve Macenski; Shrijit Singh; Francisco Martín; Jonatan Ginés
Bridging the Gap between Simulation and Real Autonomous UAV Flights in Industrial Applications
Rafael Perez-Segui; Pedro Arias-Perez; Javier Melero-Deza; Miguel Fernandez-Cortizas; David Perez-Saura; Pascual Campoy
Portable Multi-Hypothesis Monte Carlo Localization for Mobile Robots
2023 IEEE International Conference on Robotics and Automation (ICRA)· 2023DOI Alberto García, Francisco Martín, José Miguel Guerrero, Francisco J. Rodríguez, Vicente Matellán