João G. Martins

According to our database, João G. Martins authored at least 7 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

2023

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

Proceedings of the IEEE International Conference on Autonomous Robot Systems and Competitions, 2023

2019

Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems.

João G. Martins, André Platzer, João Leite

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2013

Extending Social Abstract Argumentation with Votes on Attacks.

Sinan Egilmez, João G. Martins, João Leite

Proceedings of the Theory and Applications of Formal Argumentation, 2013

2012

Statistical Model Checking for Markov Decision Processes.

David Henriques, João G. Martins, Paolo Zuliani, André Platzer, Edmund M. Clarke

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

2011

Social Abstract Argumentation.

João Leite, João G. Martins

Proceedings of the IJCAI 2011, 2011

Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications.

João G. Martins, André Platzer, João Leite

Proceedings of the Formal Methods and Software Engineering, 2011