Gabriel Santos

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 42

Top Topics

Electricity Markets

Stochastic Games

Partially Observable Stochastic Games

Top Venues

PAAMS (Workshops)

Publications

Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms. L4DC (2024)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games. Inf. Comput. 300 (2024)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR (2024)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
Point-based Value Iteration for Neuro-Symbolic POMDPs. CoRR (2023)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR (2023)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. CoRR (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. Principles of Systems Design (2022)
Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska
Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. UAI (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games. CoRR (2022)
Rui Carvalho, Gabriel Santos, Zita Vale
Open-access tools for the modelling and simulation of electricity markets. Energy Inform. 5 (2022)
Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska
Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games. CoRR (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Correlated Equilibria and Fairness in Concurrent Stochastic Games. CoRR (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan
Probabilistic Model Checking for Strategic Equilibria-Based Decision Making: Advances and Challenges (Invited Talk). MFCS (2022)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Correlated Equilibria and Fairness in Concurrent Stochastic Games. TACAS (2) (2022)
Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska
Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games. CoRR (2022)
Gabriel Santos, Alda Canito, Rui Carvalho, Tiago Pinto, Zita A. Vale, Goreti Marreiros, Juan M. Corchado
Semantic Services Catalog for Multiagent Systems Society. PAAMS (2021)
Gabriel Santos, Tiago Pinto, Zita A. Vale, Juan M. Corchado
Semantic Interoperability for Multiagent Simulation and Decision Support in Power Systems. PAAMS (Workshops) (2021)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Automatic verification of concurrent stochastic systems. Formal Methods Syst. Des. 58 (1-2) (2021)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Multi-player Equilibria Verification for Concurrent Stochastic Games. CoRR (2020)
Brigida Teixeira, Gabriel Santos, Tiago Pinto, Zita A. Vale, Juan M. Corchado
Application Ontology for Multi-Agent and Web-Services' Co-Simulation in Power and Energy Systems. IEEE Access 8 (2020)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Multi-player Equilibria Verification for Concurrent Stochastic Games. QEST (2020)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Automatic Verification of Concurrent Stochastic Systems. CoRR (2020)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. CAV (2) (2020)
Tiago Pinto, Gabriel Santos, Zita A. Vale
Practical Application of a Multi-Agent Systems Society for Energy Management and Control. AAMAS (2019)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. FM (2019)
Alda Canito, Gabriel Santos, Juan M. Corchado, Goreti Marreiros, Zita A. Vale
Semantic Web Services for Multi-Agent Systems Interoperability. EPIA (2) (2019)
Tiago Pinto, Ricardo Faia, María Navarro-Cáceres, Gabriel Santos, Juan Manuel Corchado, Zita A. Vale
Multi-Agent-Based CBR Recommender System for Intelligent Energy Management in Buildings. IEEE Syst. J. 13 (1) (2019)
Gabriel Santos, Tiago Pinto, Isabel Praça, Zita A. Vale
Iberian electricity market ontology to enable smart grid market simulation. Energy Inform. 1 (1) (2018)
Brigida Teixeira, Francisco Silva, Tiago Pinto, Gabriel Santos, Isabel Praça, Zita A. Vale
Demonstration of Tools Control Center for Multi-agent Energy Systems Simulation. PAAMS (2018)
Gabriel Santos, Tiago Pinto, Zita A. Vale
Multi-agent Systems Society for Power and Energy Systems Simulation. MABS (2018)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. CoRR (2018)
Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
Automated Verification of Concurrent Stochastic Games. QEST (2018)
Francisco Silva, Gabriel Santos, Isabel Praça, Zita A. Vale
A context-based building security alarm through power and sensors analysis. Energy Inform. 1 (S1) (2018)
Flavio Carvalho, Gabriel Santos, Gustavo Paiva Guedes
AffectPT-br: an Affective Lexicon based on LIWC 2015. SCCC (2018)
Nouredine Tamani, Shohreh Ahvar, Gabriel Santos, Bernard Istasse, Isabel Praça, Paul-Emmanuel Brun, Yacine Ghamri-Doudane, Noël Crespi, Adrien Bécue
Rule-Based Model for Smart Building Supervision and Management. SCC (2018)
Brigida Teixeira, Tiago Pinto, Gabriel Santos, Isabel Praça, Zita A. Vale
Tools Control Center to Enable the Joint Simulation of Multi-agent Systems. PAAMS (Special Sessions) (2017)
Shohreh Ahvar, Gabriel Santos, Nouredine Tamani, Bernard Istasse, Isabel Praça, Paul-Emmanuel Brun, Yacine Ghamri-Doudane, Noël Crespi
Ontology-based model for trusted critical site supervision in FUSE-IT. ICIN (2017)
Gabriel Santos, Tiago Pinto, Isabel Praça, Zita A. Vale
Nord Pool Ontology to Enhance Electricity Markets Simulation in MASCEM. EPIA (2017)
Gabriel Santos, Tiago Pinto, Zita A. Vale
Ontologies for the Interoperability of Heterogeneous Multi-agent Systems in the Scope of Power and Energy Systems. PAAMS (Special Sessions) (2017)
Tiago Pinto, Zita A. Vale, Isabel Praça, Gabriel Santos
Demonstration of ALBidS: Adaptive Learning Strategic Bidding System. PAAMS (2016)
Gabriel Santos, Tiago Pinto, Zita A. Vale, Isabel Praça, Hugo Morais
Electricity Markets Ontology to Support MASCEM's Simulations. PAAMS (Workshops) (2016)
Gabriel Santos, Filipe Fernandes, Tiago Pinto, Marco R. Silva, Omid Abrishambaf, Hugo Morais, Zita A. Vale
House management system with real and virtual resources: Energy efficiency in residential microgrid. GIIS (2016)
Tiago Pinto, Gabriel Santos, Luis Marques, Tiago M. Sousa, Isabel Praça, Zita A. Vale, Samuel L. Abreu
Solar Intensity Characterization Using Data-Mining to Support Solar Forecasting. DCAI (2015)
Francisco Silva, Brigida Teixeira, Tiago Pinto, Gabriel Santos, Isabel Praça, Zita A. Vale
Demonstration of Realistic Multi-agent Scenario Generator for Electricity Markets Simulation. PAAMS (2015)
Tiago Pinto, Hugo Silva, Zita A. Vale, Gabriel Santos, Isabel Praça
Pan-European Electricity Market Simulation Considering the European Power Network Capacities. DEXA Workshops (2015)
Gabriel Santos, Tiago Pinto, Luis Gomes, Marco R. Silva, Hugo Morais, Zita A. Vale, Isabel Praça
Agent-Based Smart Grid Market Simulation with Connection to Real Infrastructures. PAAMS (Workshops) (2015)
Hugo Morais, Tiago M. Sousa, Gabriel Santos, Tiago Pinto, Isabel Praça, Zita A. Vale
Coalition of distributed generation units to Virtual Power Players - a game theory approach. Integr. Comput. Aided Eng. 22 (3) (2015)
Tiago Pinto, Zita A. Vale, Tiago M. Sousa, Isabel Praça, Gabriel Santos, Hugo Morais
Adaptive learning in agents behaviour: A framework for electricity markets simulation. Integr. Comput. Aided Eng. 21 (4) (2014)
Ricardo Fernandes, Gabriel Santos, Isabel Praça, Tiago Pinto, Hugo Morais, Ivo F. Pereira, Zita A. Vale
Elspot: Nord Pool Spot Integration in MASCEM Electricity Market Simulator. PAAMS (Workshops) (2014)
Tiago Pinto, Gabriel Santos, Zita A. Vale, Isabel Praça, Fernando Lopes, Hugo Algarvio
Realistic Multi-agent Simulation of Competitive Electricity Markets. DEXA Workshops (2014)
Brigida Teixeira, Francisco Silva, Tiago Pinto, Isabel Praça, Gabriel Santos, Zita A. Vale
Data mining approach to support the generation of Realistic Scenarios for multi-agent simulation of electricity markets. IEEE IA (2014)
Fernando Lopes, Hugo Algarvio, Jorge A. M. Sousa, Helder Coelho, Tiago Pinto, Gabriel Santos, Zita A. Vale, Isabel Praça
Multi-agent Simulation of Bilateral Contracting in Competitive Electricity Markets. DEXA Workshops (2014)
Gabriel Santos, Isabel Praça, Tiago Pinto, Sérgio Ramos, Zita A. Vale
Scenarios generation for multi-agent simulation of electricity markets based on intelligent data analysis. IEEE IA (2013)
Gabriel Santos, Tiago Pinto, Zita A. Vale, Hugo Morais, Isabel Praça
Upper Ontology for Multi-Agent Energy Systems' Applications. DCAI (2013)
Tiago Pinto, Isabel Praça, Gabriel Santos, Zita A. Vale
Demonstration of the Multi-Agent Simulator of Competitive Electricity Markets. PAAMS (2013)
Gabriel Santos, Tiago Pinto, Hugo Morais, Zita A. Vale, Isabel Praça
Multi-agent Simulation of Continental, Regional, and Micro Electricity Markets. DEXA Workshops (2012)
José F. da Rocha, Nuno Dias, Angelo Monteiro, Alexandre Neves, Gabriel Santos, Marcelino B. Santos, João Paulo Teixeira
Controllability and observability in mixed signal cores. IOLTS (2009)