Machines that halt resolve the undecidability of artificial intelligence alignment Gabriel A. Melo, Marcos R. O. A. Máximo, Nei Y. Soma, Paulo A. L. Castro Scientific Reports, 2025 The inner alignment problem, which asserts whether an arbitrary artificial intelligence (AI) model satisfices a non-trivial alignment function of its outputs given its inputs, is undecidable. This is rigorously proved by Rice’s theorem, which is also equivalent to a reduction to Turing’s Halting Problem, whose proof sketch is presented in this work. Nevertheless, there is an enumerable set of provenly aligned AIs that are constructed from a finite set of provenly aligned operations. Therefore, we argue that the alignment should be a guaranteed property from the AI architecture rather than a characteristic imposed post-hoc on an arbitrary AI model. Furthermore, while the outer alignment problem is the definition of a judge function that captures human values and preferences, we propose that such a function must also impose a halting constraint that guarantees that the AI model always reaches a terminal state in finite execution steps. Our work presents examples and models that illustrate this constraint and the intricate challenges involved, advancing a compelling case for adopting an intrinsically hard-aligned approach to AI systems architectures that ensures halting.
Mixed-Integer Motion Planning for Nonholonomic Robots Under Visible Light Communication Constraints Angelo Caregnato‐Neto, Marcos R. O. A. Maximo, Rubens J. M. Afonso Optimal Control Applications and Methods, 2025 This work is concerned with the problem of motion planning for a group of nonholonomic robots under Visible Light Communication (VLC) connectivity requirements. Recently, multi‐robot systems operating with VLC networks have been demonstrated as an attractive solution for inspection tasks in pipelines and underground facilities. However, there are still no established methodologies to automate their operation. We address this problem with an optimization framework based on Mixed‐Integer Linear Programming (MILP) to design a motion planner that safely coordinates the robot team while jointly addressing the nonlinearity of the robots' dynamics, the directed line‐of‐sight requirement for VLC connections, and the connectivity maintenance of the ensuing directed networks. We propose a novel method to encode the nonlinear dynamics of nonholonomic robots into the MILP formulation and demonstrate through comparative trials that, although the resulting optimization search space is more restricted, the approach still outperforms mixed‐integer nonlinear programming in terms of optimization time and solution quality. The efficacy of the proposal is also demonstrated through realistic simulations of the Turtlebot3 robot platform.
BLDC Motor Control for Small Size League Robots Valerio A. N. da R. Barros, Marcos R. O. A. Maximo 27th Brazilian Symposium on Robotics and 26th Workshop on Robotics in Education Sbr Wre 2025, 2025
Humanoid Robot Motion Planning Approaches: a Survey Carolina Rutili de Lima, Said G. Khan, Muhammad Tufail, Syed H. Shah, Marcos R. O. A. Maximo Journal of Intelligent and Robotic Systems Theory and Applications, 2024
Teaching Robotic Concepts Using Project-Based Learning: A Case Study Bianca Cassemiro Lima, Henrique Mohallem Paiva, Marcos R. O. A. Maximo Edunine 2024 8th IEEE World Engineering Education Conference Empowering Engineering Education Breaking Barriers Through Research and Innovation Proceedings, 2024
Cooperative Search and Rescue with Drone Swarm Luiz Giacomossi, Marcos R. O. A. Maximo, Nils Sundelius, Peter Funk, José F. B. Brancalion, et al. Lecture Notes in Mechanical Engineering, 2024
Comparison of Encoder-Decoder Networks for Soccer Field Segmentation Otávio H. R. Guimarães, Marcos R. O. A. Maximo, Jose Maria Parente de Oliveira Proceedings 2023 Latin American Robotics Symposium 2023 Brazilian Symposium on Robotics and 2023 Workshop of Robotics in Education LARS Sbr Wre 2023, 2023
Ionospheric scintillation simulation based on neural networks Moisés J. S. Freitas, Alison O. Moraes, Emanoel Costa, Marcos R. O. A. Máximo, Clodoaldo De S. Faria Eurocon 2023 20th International Conference on Smart Technologies Proceedings, 2023
Semi-Supervised Learning for Intelligent Surveillance Guilherme Correa de Freitas, Marcos R. O. A. Maximo, Filipe A. N. Verri 2022 19th Latin American Robotics Symposium 2022 14th Brazilian Symposium on Robotics and 2022 13th Workshop on Robotics in Education LARS Sbr Wre 2022, 2022
Thermal Modeling of Electric Motors Used in Very Small Size Soccer Robots Guilherme Reis Miguel, Marcos R. O. A. Maximo, Izabela Batista Henriques 2022 19th Latin American Robotics Symposium 2022 14th Brazilian Symposium on Robotics and 2022 13th Workshop on Robotics in Education LARS Sbr Wre 2022, 2022
Navigation Aids Based on Optical Flow and Convolutional Neural Network Leonardo Silveira, Mateus Rodrigues, Bruno S. Faical, Alexandre S. Quirino da Silva, Cesar Marcondes, et al. 2022 19th Latin American Robotics Symposium 2022 14th Brazilian Symposium on Robotics and 2022 13th Workshop on Robotics in Education LARS Sbr Wre 2022, 2022
A-Star Based Algorithm Applied to Target Search and Rescue by a UAV Swarm Guilherme T. T. Bernardo, Luan M. B. Vogas, Sargon D. S. Rodrigues, Thiago G. G. Lopes, Cesar A. C. Marcondes, et al. 2022 19th Latin American Robotics Symposium 2022 14th Brazilian Symposium on Robotics and 2022 13th Workshop on Robotics in Education LARS Sbr Wre 2022, 2022
A Minimalist Open Source Behavior Tree Framework in C++ Gustavo L. Silva, Marcos R. O. A. Maximo, Lourenco A. Pereira 2021 Latin American Robotics Symposium 2021 Brazilian Symposium on Robotics and 2021 Workshop on Robotics in Education LARS Sbr Wre 2021, 2021
Optimizing Univector Field Navigation Parameters Using CMA-ES Thayna Pires Baldao, Marcos R. O. A. Maximo, Takashi Yoneyama 2021 Latin American Robotics Symposium 2021 Brazilian Symposium on Robotics and 2021 Workshop on Robotics in Education LARS Sbr Wre 2021, 2021
Cooperative and Decentralized Decision-Making for Loyal Wingman UAVs Luiz Giacomossi, Stiven Schwanz Dias, Jose Fernando Brancalion, Marcos R. O. A. Maximo 2021 Latin American Robotics Symposium 2021 Brazilian Symposium on Robotics and 2021 Workshop on Robotics in Education LARS Sbr Wre 2021, 2021
Engagement Decision Support for beyond Visual Range Air Combat Joao P. A. Dantas, Andre N. Costa, Diego Geraldo, Marcos R. O. A. Maximo, Takashi Yoneyama 2021 Latin American Robotics Symposium 2021 Brazilian Symposium on Robotics and 2021 Workshop on Robotics in Education LARS Sbr Wre 2021, 2021
Autonomous and Collective Intelligence for UAV Swarm in Target Search Scenario Luiz Giacomossi, Flavio Souza, Raphael Gomes Cortes, Huascar Mirko Montecinos Cortez, Caue Ferreira, et al. 2021 Latin American Robotics Symposium 2021 Brazilian Symposium on Robotics and 2021 Workshop on Robotics in Education LARS Sbr Wre 2021, 2021
Push Recovery Strategies through Deep Reinforcement Learning Dicksiano Carvalho Melo, Marcos R. O. A. Maximo, Adilson Marques da Cunha 2020 Latin American Robotics Symposium 2020 Brazilian Symposium on Robotics and 2020 Workshop on Robotics in Education LARS Sbr Wre 2020, 2020
Learning when to kick through deep neural networks Dicksiano Carvalho Melo, Carlos Henrique Quartucci Forster, Marcos Ricardo Omena de Albuquerque Maximo Proceedings 2019 Latin American Robotics Symposium 2019 Brazilian Symposium on Robotics and 2019 Workshop on Robotics in Education LARS Sbr Wre 2019, 2019
Height varying humanoid robot walking through model predictive control Caroline C. D. Silva, Marcos R. O. A. Maximo, Luiz C. S. Goes Proceedings 2019 Latin American Robotics Symposium 2019 Brazilian Symposium on Robotics and 2019 Workshop on Robotics in Education LARS Sbr Wre 2019, 2019
Experimental measurement of parameters for modeling a differentia drive soccer robot Bernardo P. Veronese, Igor F. Okuyama, Felipe C. R. Pinheiro, Marcos R. O. A. Maximo, Luis C. S. Goes Proceedings 2017 LARS 14th Latin American Robotics Symposium and 2017 5th Sbr Brazilian Symposium on Robotics LARS Sbr 2017 Part of the Robotics Conference 2017, 2017
Natural language-based evaluation of situational awareness and decision-making in air transportation R Fernandes Viana, VAS Marques, C Rutili de Lima, MROA Maximo, ... Journal of Intelligent Transportation Systems, 1-15 , 2026 2026
Imitation Learning of MPC for Fault Tolerant Control Allocation of an Octorotor MU Lira, MR Maximo, R Bertolin AIAA SCITECH 2026 Forum, 0335 , 2026 2026
Mixing Real and Synthetic Data in Neural Network Training: A Case Study Regarding Runway Detection GH Daniel, JE Cruz, MR Maximo AIAA SCITECH 2026 Forum, 1773 , 2026 2026
Comparison and Optimization of U-Net and SegNet Encoder-Decoder Architectures for Soccer Field Segmentation in RoboCup OHR Guimarães, MROA Maximo, JM Parente de Oliveira Journal of Intelligent & Robotic Systems , 2025 2025 Citations: 1
ARMCHAIR: integrated inverse reinforcement learning and model predictive control for human-robot collaboration A Caregnato-Neto, LC Siebert, A Zgonnikov, MROA Maximo, RJM Afonso International Journal of Social Robotics, 1-17 , 2025 2025 Citations: 5
Deriving Trajectory Tracking Requirements for a Small Size League Robot GB Farias, MROA Maximo, RJM Afonso 2025 Brazilian Symposium on Robotics (SBR) and 2025 Workshop on Robotics in … , 2025 2025
BLDC Motor Control for Small Size League Robots VANR Barros, MROA Maximo 2025 Brazilian Symposium on Robotics (SBR) and 2025 Workshop on Robotics in … , 2025 2025
Determination of Minimum-Time Velocity Profile for Trajectory Planning of Small Size League Robots LG Neves, GM Bertolino, MROA Maximo, GW Gabriel 2025 Brazilian Symposium on Robotics (SBR) and 2025 Workshop on Robotics in … , 2025 2025
Residual Reinforcement Learning to Generate a Closed-Loop Policy from a Keyframe Kick Motion MVS Passamani, MROA Maximo, LC Melo 2025 Brazilian Symposium on Robotics (SBR) and 2025 Workshop on Robotics in … , 2025 2025
Integrated Walk and Kick for a Humanoid Robot Using Model Predictive Control GPL Ferreira, MROA Maximo 2025 Brazilian Symposium on Robotics (SBR) and 2025 Workshop on Robotics in … , 2025 2025 Citations: 1
Monocular Visual Odometry with YOLO-Based Dynamic Object Filtering GL Márcio Filho, AO Françani, MROA Maximo 2025 Brazilian Symposium on Robotics (SBR) and 2025 Workshop on Robotics in … , 2025 2025
Comparison of Delay Compensation Strategies in ESKF Low-Latency Navigation for More-Autonomous Aircraft A Freiberger, SS Dias, MROA Máximo 2025 Brazilian Symposium on Robotics (SBR) and 2025 Workshop on Robotics in … , 2025 2025
Path Planning Based on Visibility Graph with Circular Obstacles for RoboCup Small Size League MROA Maximo, ADF da Silva, LG Neves, CM Hirata 2025 Brazilian Symposium on Robotics (SBR) and 2025 Workshop on Robotics in … , 2025 2025
UAV inertial navigation using deep neural networks in simulated environments NAZ Xavier, EH Shiguemori, MROA Maximo Engineering Analysis with Boundary Elements 179, 106376 , 2025 2025 Citations: 2
Deep Reinforcement Learning Agents With Collective Situational Awareness for Beyond Visual Range Air Combat JPA Dantas, FLL Medeiros, AR Samersla, PLR Botelho, VCF Gomes, ... IEEE Access , 2025 2025 Citations: 3
Extended Kalman Filter-Based Object Tracking Using Global and Local Frames EEY De Lima, SS Dias, MROA Maximo 2025 28th International Conference on Information Fusion (FUSION), 1-8 , 2025 2025
A guided approach for cross-view geolocalization estimation with land cover semantic segmentation NAZ Xavier, EH Shiguemori, MROA Maximo, M Shah Biomimetic Intelligence and Robotics 5 (2), 100208 , 2025 2025 Citations: 2
Autonomous aircraft tactical pop-up attack using imitation and generative learning JPA Dantas, MROA Maximo, T Yoneyama IEEE Access , 2025 2025 Citations: 5
Machines that halt resolve the undecidability of artificial intelligence alignment GA Melo, MROA Máximo, NY Soma, PAL Castro Scientific Reports 15 (1), 15591 , 2025 2025 Citations: 2
MOST CITED SCHOLAR PUBLICATIONS
A survey on offline reinforcement learning: Taxonomy, review, and open problems RF Prudencio, MROA Maximo, EL Colombini IEEE transactions on neural networks and learning systems 35 (8), 10237-10257 , 2023 2023 Citations: 738
Transformer-based model for monocular visual odometry: a video understanding approach AO Françani, MROA Maximo IEEE Access 13, 13959-13971 , 2025 2025 Citations: 58
Task allocation and trajectory planning for multiple agents in the presence of obstacle and connectivity constraints with mixed‐integer linear programming RJM Afonso, MROA Maximo, RKH Galvao International Journal of Robust and Nonlinear Control 30 (14), 5464-5491 , 2020 2020 Citations: 56
Learning humanoid robot running skills through proximal policy optimization LC Melo, MROA Máximo 2019 Latin american robotics symposium (LARS), 2019 Brazilian symposium on … , 2019 2019 Citations: 54
Learning humanoid robot running motions with symmetry incentive through proximal policy optimization LC Melo, DC Melo, MROA Maximo Journal of Intelligent & Robotic Systems 102 (3), 54 , 2021 2021 Citations: 42
Deep reinforcement learning for humanoid robot behaviors AFV Muzio, MROA Maximo, T Yoneyama Journal of Intelligent & Robotic Systems 105 (1), 12 , 2022 2022 Citations: 41
Engagement decision support for beyond visual range air combat JPA Dantas, AN Costa, D Geraldo, MROA Maximo, T Yoneyama 2021 Latin American Robotics Symposium (LARS), 2021 Brazilian Symposium on … , 2021 2021 Citations: 36
Cooperative threat engagement using drone swarms JA Ricardo, L Giacomossi, JFS Trentin, JFB Brancalion, MROA Maximo, ... IEEE Access 11, 9529-9546 , 2023 2023 Citations: 29
Modeling of a position servo used in robotics applications M Maximo, CHC Ribeiro, RJM Afonso Proceedings of the 2017 Simposio Brasileiro de Automaçao Inteligente (SBAI) , 2017 2017 Citations: 27
Mixed-integer programming for automatic walking step duration MROA Maximo, CHC Ribeiro, RJM Afonso 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems … , 2016 2016 Citations: 26
Weapon engagement zone maximum launch range estimation using a deep neural network JPA Dantas, AN Costa, D Geraldo, MROA Maximo, T Yoneyama Brazilian Conference on Intelligent Systems, 193-207 , 2021 2021 Citations: 24
Keyframe movement optimization for simulated humanoid robot using a parallel optimization framework F Muniz, MROA Maximo, CHC Ribeiro 2016 XIII Latin American robotics symposium and IV Brazilian robotics … , 2016 2016 Citations: 24
Supervised machine learning for effective missile launch based on beyond visual range air combat simulations JPA Dantas, AN Costa, FLL Medeiros, D Geraldo, MROA Maximo, ... 2022 Winter Simulation Conference (WSC), 1990-2001 , 2022 2022 Citations: 23
Dense prediction transformer for scale estimation in monocular visual odometry AO Françani, MROA Maximo 2022 latin american robotics symposium (lars), 2022 brazilian symposium on … , 2022 2022 Citations: 23
Multiagent reinforcement learning for strategic decision making and control in robotic soccer through self-play B Brandao, TW De Lima, A Soares, L Melo, MROA Maximo IEEE Access 10, 72628-72642 , 2022 2022 Citations: 23
Monte carlo localization with field lines observations for simulated humanoid robotic soccer A Muzio, L Aguiar, MROA Máximo, SC Pinto 2016 XIII Latin American Robotics Symposium and IV Brazilian Robotics … , 2016 2016 Citations: 22
Omnidirectional ZMP-based walking for a humanoid robot M Maximo Master's thesis, Aeronautics Institute of Technology , 2015 2015 Citations: 21
Machine learning to improve situational awareness in beyond visual range air combat JPA Dantas, MROA Maximo, AN Costa, D Geraldo, T Yoneyama IEEE Latin America Transactions 20 (8), 2039-2045 , 2022 2022 Citations: 20
An analysis on tradable permit models for last-mile delivery drones FAN Verri, CAC Marcondes, DS Loubach, EF Sbruzzi, JC Marques, ... IEEe Access 8, 186279-186290 , 2020 2020 Citations: 20
Using deep learning to map ionospheric total electron content over Brazil A Silva, A Moraes, J Sousasantos, M Maximo, B Vani, C Faria Jr Remote Sensing 15 (2), 412 , 2023 2023 Citations: 19