Gabriel Santos
Orcid: 0000-0001-8839-8807
According to our database1,
Gabriel Santos
authored at least 55 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Inf. Comput., 2024
HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms.
Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024
2023
Intelligent Energy Systems Ontology: Local flexibility market and power system co-simulation demonstration.
Dataset, November, 2023
Demonstration of Simulation Tools for Electricity Markets considering Power Flow Analysis.
Dataset, February, 2023
2022
Energy Inform., 2022
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges.
CoRR, 2022
Proceedings of the Uncertainty in Artificial Intelligence, 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk).
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022
Proceedings of the Principles of Systems Design, 2022
2021
Intelligent Energy Systems Ontology: Local flexibility market and power system co-simulation demonstration.
Dataset, September, 2021
Semantic Services Catalog: Demonstration of Multiagent Systems Society co-simulation.
Dataset, April, 2021
Dataset, February, 2021
Formal Methods Syst. Des., 2021
Semantic Interoperability for Multiagent Simulation and Decision Support in Power Systems.
Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, 2021
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, 2021
2020
Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games.
PhD thesis, 2020
Application Ontology for Multi-Agent and Web-Services' Co-Simulation in Power and Energy Systems.
IEEE Access, 2020
Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Multi-Agent-Based CBR Recommender System for Intelligent Energy Management in Buildings.
IEEE Syst. J., 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
Proceedings of the Progress in Artificial Intelligence, 2019
Practical Application of a Multi-Agent Systems Society for Energy Management and Control.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
2018
Energy Inform., 2018
Energy Inform., 2018
Proceedings of the 37th International Conference of the Chilean Computer Science Society, 2018
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018
Proceedings of the Multi-Agent-Based Simulation XIX - 19th International Workshop, 2018
Proceedings of the 2018 IEEE International Conference on Services Computing, 2018
2017
Proceedings of the Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection, 2017
Ontologies for the Interoperability of Heterogeneous Multi-agent Systems in the Scope of Power and Energy Systems.
Proceedings of the Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection, 2017
Proceedings of the 20th Conference on Innovations in Clouds, Internet and Networks, 2017
Proceedings of the Progress in Artificial Intelligence, 2017
2016
Proceedings of the Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection, 2016
Proceedings of the Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection, 2016
House management system with real and virtual resources: Energy efficiency in residential microgrid.
Proceedings of the 2016 Global Information Infrastructure and Networking Symposium, 2016
2015
Coalition of distributed generation units to Virtual Power Players - a game theory approach.
Integr. Comput. Aided Eng., 2015
Demonstration of Realistic Multi-agent Scenario Generator for Electricity Markets Simulation.
Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection, 2015
Proceedings of the Highlights of Practical Applications of Agents, Multi-Agent Systems, and Sustainability - The PAAMS Collection, 2015
Pan-European Electricity Market Simulation Considering the European Power Network Capacities.
Proceedings of the 26th International Workshop on Database and Expert Systems Applications, 2015
Proceedings of the Distributed Computing and Artificial Intelligence, 2015
2014
Adaptive learning in agents behaviour: A framework for electricity markets simulation.
Integr. Comput. Aided Eng., 2014
Proceedings of the Highlights of Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection, 2014
Data mining approach to support the generation of Realistic Scenarios for multi-agent simulation of electricity markets.
Proceedings of the 2014 IEEE Symposium on Intelligent Agents, 2014
Proceedings of the 25th International Workshop on Database and Expert Systems Applications, 2014
Proceedings of the 25th International Workshop on Database and Expert Systems Applications, 2014
2013
Proceedings of the Advances on Practical Applications of Agents and Multi-Agent Systems, 2013
Scenarios generation for multi-agent simulation of electricity markets based on intelligent data analysis.
Proceedings of the 2013 IEEE Symposium on Intelligent Agents, 2013
Proceedings of the Distributed Computing and Artificial Intelligence, 2013
2012
Proceedings of the 23rd International Workshop on Database and Expert Systems Applications, 2012
2009
Proceedings of the 15th IEEE International On-Line Testing Symposium (IOLTS 2009), 2009