( en | de | ru )

 

Disambiguation of "Santos, Gabriel"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic verification of concurrent stochastic systems.

, , , and . Formal Methods Syst. Des., 58 (1-2): 188-250 (2021)

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. You can also use the button next to the name to display some publications already assigned to the person.

Santos Amaro

Antonio Santos

Joana Santos

Sofia Santos

Hermilio Santos

 

Other publications of authors with the same name

Ontologies for the Interoperability of Heterogeneous Multi-agent Systems in the Scope of Power and Energy Systems., , and . PAAMS (Special Sessions), volume 619 of Advances in Intelligent Systems and Computing, page 300-301. Springer, (2017)Adaptive learning in agents behaviour: A framework for electricity markets simulation., , , , , and . Integr. Comput. Aided Eng., 21 (4): 399-415 (2014)Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games.. University of Oxford, UK, (2020)British Library, EThOS.Semantic Interoperability for Multiagent Simulation and Decision Support in Power Systems., , , and . PAAMS (Workshops), volume 1472 of Communications in Computer and Information Science, page 215-226. Springer, (2021)Automated Verification of Concurrent Stochastic Games., , , and . QEST, volume 11024 of Lecture Notes in Computer Science, page 223-239. Springer, (2018)Scenarios generation for multi-agent simulation of electricity markets based on intelligent data analysis., , , , and . IEEE IA, page 5-12. IEEE, (2013)Ontology-based model for trusted critical site supervision in FUSE-IT., , , , , , , and . ICIN, page 313-315. IEEE, (2017)Electricity Markets Ontology to Support MASCEM's Simulations., , , , and . PAAMS (Workshops), volume 616 of Communications in Computer and Information Science, page 393-404. Springer, (2016)Multi-Agent-Based CBR Recommender System for Intelligent Energy Management in Buildings., , , , , and . IEEE Syst. J., 13 (1): 1084-1095 (2019)AffectPT-br: an Affective Lexicon based on LIWC 2015., , and . SCCC, page 1-5. IEEE, (2018)