João G. Martins

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 5

Top Topics

Risk Assessment

Tracking Accuracy

Robotic Platform

Top Venues

Publications

Gabriel de Moura Costa, Marcelo Roberto Petry, João G. Martins, António Paulo Gomes Mendes Moreira
Assessment of Multiple Fiducial Marker Trackers on Hololens 2. IEEE Access 12 (2024)
Ricardo B. Sousa, Cláudia 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
A Robotic Framework for the Robot@Factory 4.0 Competition. ICARSC (2024)
João G. Martins, Gabriel de Moura Costa, Marcelo Roberto Petry, Paulo G. Costa, António Paulo Moreira
A Multi-User Multi-Robot Collaboration through Augmented Reality. ICARSC (2024)
João G. Martins, Marcelo Roberto Petry, António Paulo Moreira
Assessment of the influence of magnetic perturbations and dynamic motions in a commercial AHRS. ICARSC (2023)
João G. Martins, André Platzer, João Leite
Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. TABLEAUX (2019)
Sinan Egilmez, João G. Martins, João Leite
Extending Social Abstract Argumentation with Votes on Attacks. TAFA (2013)
David Henriques, João G. Martins, Paolo Zuliani, André Platzer, Edmund M. Clarke
Statistical Model Checking for Markov Decision Processes. QEST (2012)
João G. Martins, André Platzer, João Leite
Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. ICFEM (2011)
João Leite, João G. Martins
Social Abstract Argumentation. IJCAI (2011)