( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems.

, , и . TABLEAUX, том 11714 из Lecture Notes in Computer Science, стр. 428-445. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Gil dos Santos Guerreiro João

João Barros

João Fonseca

João Carreira

João Matos

 

Другие публикации лиц с тем же именем

Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications., , и . ICFEM, том 6991 из Lecture Notes in Computer Science, стр. 131-146. Springer, (2011)Social Abstract Argumentation., и . IJCAI, стр. 2287-2292. IJCAI/AAAI, (2011)Extending Social Abstract Argumentation with Votes on Attacks., , и . TAFA, том 8306 из Lecture Notes in Computer Science, стр. 16-31. Springer, (2013)Assessment of Multiple Fiducial Marker Trackers on Hololens 2., , , и . IEEE Access, (2024)Statistical Model Checking for Markov Decision Processes., , , , и . QEST, стр. 84-93. IEEE Computer Society, (2012)Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems., , и . TABLEAUX, том 11714 из Lecture Notes in Computer Science, стр. 428-445. Springer, (2019)A Robotic Framework for the Robot@Factory 4.0 Competition., , , , , , , , , и . ICARSC, стр. 66-73. IEEE, (2024)Assessment of the influence of magnetic perturbations and dynamic motions in a commercial AHRS., , и . ICARSC, стр. 175-180. IEEE, (2023)A Multi-User Multi-Robot Collaboration through Augmented Reality., , , , и . ICARSC, стр. 144-150. IEEE, (2024)