Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. - João G. Martins; André Platzer; João Leite 001 (ICFEM, 2011)

Social Abstract Argumentation. - João Leite 001; João G. Martins (IJCAI, 2011)

Statistical Model Checking for Markov Decision Processes. - David Henriques; João G. Martins; Paolo Zuliani; André Platzer; Edmund M. Clarke (QEST, 2012)

Extending Social Abstract Argumentation with Votes on Attacks. - Sinan Egilmez; João G. Martins; João Leite 001 (TAFA, 2013)

Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. - João G. Martins; André Platzer; João Leite 001 (TABLEAUX, 2019)

Assessment of the influence of magnetic perturbations and dynamic motions in a commercial AHRS. - João G. Martins; Marcelo Roberto Petry; António Paulo Moreira (ICARSC, 2023)

A Multi-User Multi-Robot Collaboration through Augmented Reality. - João G. Martins; Gabriel de Moura Costa; Marcelo Roberto Petry; Paulo G. Costa; António Paulo Moreira (ICARSC, 2024)

A Robotic Framework for the Robot@Factory 4.0 Competition. - Ricardo B. Sousa; Cláudia D. Rocha; João G. Martins; João Pedro Costa; João Tomás Padrão; José Maria Sarmento; José Pedro Carvalho; Maria S. Lopes; Paulo G. Costa; António Paulo Moreira (ICARSC, 2024)

Assessment of Multiple Fiducial Marker Trackers on Hololens 2. - Gabriel de Moura Costa; Marcelo Roberto Petry; João G. Martins; António Paulo Gomes Mendes Moreira (IEEE Access, 2024)

From Competition to Classroom: A Hands-on Approach to Robotics Learning. - Maria S. Lopes; Jorge Diogo Ribeiro; António Paulo Moreira; Cláudia D. Rocha; João G. Martins; José Maria Sarmento; José Pedro Carvalho; Paulo G. Costa; Ricardo B. Sousa (ICARSC, 2025)

AR/VR Digital Twin for Simulation and Data Collection of Robotic Environments. - João G. Martins; Karle Nutonen; Paulo Costa 001; Vladimir Kuts; Tauno Otto; Armando Sousa; Marcelo Roberto Petry (ICARSC, 2025)

Integrating Multimodal Perception into Ground Mobile Robots. - Ricardo B. Sousa; Héber M. Sobreira; João G. Martins; Paulo G. Costa; Manuel F. Silva 001; António Paulo Moreira (ICARSC, 2025)