Gabriel Santos

According to our database, Gabriel Santos authored at least 55 papers between 2009 and 2024.

Collaborative distances:

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

2024

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games.

Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska

Inf. Comput., 2024

HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms.

Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska

Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Partially Observable Stochastic Games with Neural Perception Mechanisms.

Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Intelligent Energy Systems Ontology: Local flexibility market and power system co-simulation demonstration.

Gabriel Santos, Hugo Morais, Tiago Pinto, Juan M. Corchado, Zita Vale

Dataset, November, 2023

Demonstration of Simulation Tools for Electricity Markets considering Power Flow Analysis.

Bruno Veiga, Gabriel Santos, Tiago Pinto, Ricardo Faia, Carlos Ramos, Zita Vale

Dataset, February, 2023

Point-based Value Iteration for Neuro-Symbolic POMDPs.

Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska

CoRR, 2023

2022

Open-access tools for the modelling and simulation of electricity markets.

Rui Carvalho, Gabriel Santos, Zita Vale

Energy Inform., 2022

Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges.

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan

CoRR, 2022

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games.

Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska

Proceedings of the Uncertainty in Artificial Intelligence, 2022

Correlated Equilibria and Fairness in Concurrent Stochastic Games.

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos

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).

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games.

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos

Proceedings of the Principles of Systems Design, 2022

2021

Intelligent Energy Systems Ontology: Local flexibility market and power system co-simulation demonstration.

Gabriel Santos, Hugo Morais, Tiago Pinto, Juan M. Corchado, Zita Vale

Dataset, September, 2021

Semantic Services Catalog: Demonstration of Multiagent Systems Society co-simulation.

Gabriel Santos, Alda Canito, Rui Carvalho, Tiago Pinto, Zita Vale, Goreti Marreiros, Juan M. Corchado

Dataset, April, 2021

MARTINE Semantic Interoperability: Local Electricity Market Hour-Ahead Session.

Gabriel Santos, Luis Gomes, Tiago Pinto, Zita Vale, Pedro Faria

Dataset, February, 2021

Automatic verification of concurrent stochastic systems.

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos

Formal Methods Syst. Des., 2021

Semantic Interoperability for Multiagent Simulation and Decision Support in Power Systems.

Gabriel Santos, Tiago Pinto, Zita A. Vale, Juan M. Corchado

Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, 2021

Semantic Services Catalog for Multiagent Systems Society.

Gabriel Santos, Alda Canito, Rui Carvalho, Tiago Pinto, Zita A. Vale, Goreti Marreiros, Juan M. Corchado

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.

Gabriel Santos

PhD thesis, 2020

Application Ontology for Multi-Agent and Web-Services' Co-Simulation in Power and Energy Systems.

Brigida Teixeira, Gabriel Santos, Tiago Pinto, Zita A. Vale, Juan M. Corchado

IEEE Access, 2020

Multi-player Equilibria Verification for Concurrent Stochastic Games.

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time.

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Multi-Agent-Based CBR Recommender System for Intelligent Energy Management in Buildings.

Tiago Pinto, Ricardo Faia, María Navarro-Cáceres, Gabriel Santos, Juan Manuel Corchado, Zita A. Vale

IEEE Syst. J., 2019

Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games.

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Semantic Web Services for Multi-Agent Systems Interoperability.

Alda Canito, Gabriel Santos, Juan M. Corchado, Goreti Marreiros, Zita A. Vale

Proceedings of the Progress in Artificial Intelligence, 2019

Practical Application of a Multi-Agent Systems Society for Energy Management and Control.

Tiago Pinto, Gabriel Santos, Zita A. Vale

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

A context-based building security alarm through power and sensors analysis.

Francisco Silva, Gabriel Santos, Isabel Praça, Zita A. Vale

Energy Inform., 2018

Iberian electricity market ontology to enable smart grid market simulation.

Gabriel Santos, Tiago Pinto, Isabel Praça, Zita A. Vale

Energy Inform., 2018

AffectPT-br: an Affective Lexicon based on LIWC 2015.

Flavio Carvalho, Gabriel Santos, Gustavo Paiva Guedes

Proceedings of the 37th International Conference of the Chilean Computer Science Society, 2018

Automated Verification of Concurrent Stochastic Games.

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Demonstration of Tools Control Center for Multi-agent Energy Systems Simulation.

Brigida Teixeira, Francisco Silva, Tiago Pinto, Gabriel Santos, Isabel Praça, Zita A. Vale

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018

Multi-agent Systems Society for Power and Energy Systems Simulation.

Gabriel Santos, Tiago Pinto, Zita A. Vale

Proceedings of the Multi-Agent-Based Simulation XIX - 19th International Workshop, 2018

Rule-Based Model for Smart Building Supervision and Management.

Nouredine Tamani, Shohreh Ahvar, Gabriel Santos, Bernard Istasse, Isabel Praça, Paul-Emmanuel Brun, Yacine Ghamri-Doudane, Noël Crespi, Adrien Bécue

Proceedings of the 2018 IEEE International Conference on Services Computing, 2018

2017

Tools Control Center to Enable the Joint Simulation of Multi-agent Systems.

Brigida Teixeira, Tiago Pinto, Gabriel Santos, Isabel Praça, Zita A. Vale

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.

Gabriel Santos, Tiago Pinto, Zita A. Vale

Proceedings of the Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection, 2017

Ontology-based model for trusted critical site supervision in FUSE-IT.

Shohreh Ahvar, Gabriel Santos, Nouredine Tamani, Bernard Istasse, Isabel Praça, Paul-Emmanuel Brun, Yacine Ghamri-Doudane, Noël Crespi

Proceedings of the 20th Conference on Innovations in Clouds, Internet and Networks, 2017

Nord Pool Ontology to Enhance Electricity Markets Simulation in MASCEM.

Gabriel Santos, Tiago Pinto, Isabel Praça, Zita A. Vale

Proceedings of the Progress in Artificial Intelligence, 2017

2016

Electricity Markets Ontology to Support MASCEM's Simulations.

Gabriel Santos, Tiago Pinto, Zita A. Vale, Isabel Praça, Hugo Morais

Proceedings of the Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection, 2016

Demonstration of ALBidS: Adaptive Learning Strategic Bidding System.

Tiago Pinto, Zita A. Vale, Isabel Praça, Gabriel Santos

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.

Gabriel Santos, Filipe Fernandes, Tiago Pinto, Marco R. Silva, Omid Abrishambaf, Hugo Morais, Zita A. Vale

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.

Hugo Morais, Tiago M. Sousa, Gabriel Santos, Tiago Pinto, Isabel Praça, Zita A. Vale

Integr. Comput. Aided Eng., 2015

Demonstration of Realistic Multi-agent Scenario Generator for Electricity Markets Simulation.

Francisco Silva, Brigida Teixeira, Tiago Pinto, Gabriel Santos, Isabel Praça, Zita A. Vale

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection, 2015

Agent-Based Smart Grid Market Simulation with Connection to Real Infrastructures.

Gabriel Santos, Tiago Pinto, Luis Gomes, Marco R. Silva, Hugo Morais, Zita A. Vale, Isabel Praça

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.

Tiago Pinto, Hugo Silva, Zita A. Vale, Gabriel Santos, Isabel Praça

Proceedings of the 26th International Workshop on Database and Expert Systems Applications, 2015

Solar Intensity Characterization Using Data-Mining to Support Solar Forecasting.

Tiago Pinto, Gabriel Santos, Luis Marques, Tiago M. Sousa, Isabel Praça, Zita A. Vale, Samuel L. Abreu

Proceedings of the Distributed Computing and Artificial Intelligence, 2015

2014

Adaptive learning in agents behaviour: A framework for electricity markets simulation.

Tiago Pinto, Zita A. Vale, Tiago M. Sousa, Isabel Praça, Gabriel Santos, Hugo Morais

Integr. Comput. Aided Eng., 2014

Elspot: Nord Pool Spot Integration in MASCEM Electricity Market Simulator.

Ricardo Fernandes, Gabriel Santos, Isabel Praça, Tiago Pinto, Hugo Morais, Ivo F. Pereira, Zita A. Vale

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.

Brigida Teixeira, Francisco Silva, Tiago Pinto, Isabel Praça, Gabriel Santos, Zita A. Vale

Proceedings of the 2014 IEEE Symposium on Intelligent Agents, 2014

Realistic Multi-agent Simulation of Competitive Electricity Markets.

Tiago Pinto, Gabriel Santos, Zita A. Vale, Isabel Praça, Fernando Lopes, Hugo Algarvio

Proceedings of the 25th International Workshop on Database and Expert Systems Applications, 2014

Multi-agent Simulation of Bilateral Contracting in Competitive Electricity Markets.

Fernando Lopes, Hugo Algarvio, Jorge A. M. Sousa, Helder Coelho, Tiago Pinto, Gabriel Santos, Zita A. Vale, Isabel Praça

Proceedings of the 25th International Workshop on Database and Expert Systems Applications, 2014

2013

Demonstration of the Multi-Agent Simulator of Competitive Electricity Markets.

Tiago Pinto, Isabel Praça, Gabriel Santos, Zita A. Vale

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.

Gabriel Santos, Isabel Praça, Tiago Pinto, Sérgio Ramos, Zita A. Vale

Proceedings of the 2013 IEEE Symposium on Intelligent Agents, 2013

Upper Ontology for Multi-Agent Energy Systems' Applications.

Gabriel Santos, Tiago Pinto, Zita A. Vale, Hugo Morais, Isabel Praça

Proceedings of the Distributed Computing and Artificial Intelligence, 2013

2012

Multi-agent Simulation of Continental, Regional, and Micro Electricity Markets.

Gabriel Santos, Tiago Pinto, Hugo Morais, Zita A. Vale, Isabel Praça

Proceedings of the 23rd International Workshop on Database and Expert Systems Applications, 2012

2009

Controllability and observability in mixed signal cores.

José F. da Rocha, Nuno Dias, Angelo Monteiro, Alexandre Neves, Gabriel Santos, Marcelino B. Santos, João Paulo Teixeira

Proceedings of the 15th IEEE International On-Line Testing Symposium (IOLTS 2009), 2009