default search action
Gabriel Santos
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j9]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games. Inf. Comput. 300: 105193 (2024) - [c38]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Partially Observable Stochastic Games with Neural Perception Mechanisms. FM (1) 2024: 363-380 - [c37]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: 80-91 - [i11]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 abs/2404.10679 (2024) - 2023
- [d5]Gabriel Santos, Hugo Morais, Tiago Pinto, Juan M. Corchado, Zita Vale:
Intelligent Energy Systems Ontology: Local flexibility market and power system co-simulation demonstration. Version 2. Zenodo, 2023 [all versions] - [d4]Bruno Veiga, Gabriel Santos, Tiago Pinto, Ricardo Faia, Carlos Ramos, Zita Vale:
Demonstration of Simulation Tools for Electricity Markets considering Power Flow Analysis. Zenodo, 2023 - [i10]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Point-based Value Iteration for Neuro-Symbolic POMDPs. CoRR abs/2306.17639 (2023) - [i9]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Partially Observable Stochastic Games with Neural Perception Mechanisms. CoRR abs/2310.11566 (2023) - 2022
- [j8]Rui Carvalho, Gabriel Santos, Zita Vale:
Open-access tools for the modelling and simulation of electricity markets. Energy Inform. 5 (2022) - [c36]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games. Principles of Systems Design 2022: 388-406 - [c35]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: 4:1-4:22 - [c34]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Correlated Equilibria and Fairness in Concurrent Stochastic Games. TACAS (2) 2022: 60-78 - [c33]Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska:
Finite-horizon equilibria for neuro-symbolic concurrent stochastic games. UAI 2022: 2170-2180 - [i8]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Correlated Equilibria and Fairness in Concurrent Stochastic Games. CoRR abs/2201.09702 (2022) - [i7]Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska:
Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games. CoRR abs/2202.06255 (2022) - [i6]Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska:
Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games. CoRR abs/2205.07546 (2022) - [i5]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos, Rui Yan:
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. CoRR abs/2206.15148 (2022) - [i4]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games. CoRR abs/2211.06141 (2022) - 2021
- [j7]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automatic verification of concurrent stochastic systems. Formal Methods Syst. Des. 58(1-2): 188-250 (2021) - [c32]Gabriel Santos, Tiago Pinto, Zita A. Vale, Juan M. Corchado:
Semantic Interoperability for Multiagent Simulation and Decision Support in Power Systems. PAAMS (Workshops) 2021: 215-226 - [c31]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: 229-240 - [d3]Gabriel Santos, Alda Canito, Rui Carvalho, Tiago Pinto, Zita Vale, Goreti Marreiros, Juan M. Corchado:
Semantic Services Catalog: Demonstration of Multiagent Systems Society co-simulation. Zenodo, 2021 - [d2]Gabriel Santos, Luis Gomes, Tiago Pinto, Zita Vale, Pedro Faria:
MARTINE Semantic Interoperability: Local Electricity Market Hour-Ahead Session. Zenodo, 2021 - [d1]Gabriel Santos, Hugo Morais, Tiago Pinto, Juan M. Corchado, Zita Vale:
Intelligent Energy Systems Ontology: Local flexibility market and power system co-simulation demonstration. Version 1.0. Zenodo, 2021 [all versions] - 2020
- [b1]Gabriel Santos:
Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games. University of Oxford, UK, 2020 - [j6]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: 81129-81141 (2020) - [c30]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time. CAV (2) 2020: 475-487 - [c29]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Multi-player Equilibria Verification for Concurrent Stochastic Games. QEST 2020: 74-95 - [i3]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Multi-player Equilibria Verification for Concurrent Stochastic Games. CoRR abs/2007.03365 (2020) - [i2]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automatic Verification of Concurrent Stochastic Systems. CoRR abs/2008.04613 (2020)
2010 – 2019
- 2019
- [j5]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): 1084-1095 (2019) - [c28]Tiago Pinto, Gabriel Santos, Zita A. Vale:
Practical Application of a Multi-Agent Systems Society for Energy Management and Control. AAMAS 2019: 2378-2380 - [c27]Alda Canito, Gabriel Santos, Juan M. Corchado, Goreti Marreiros, Zita A. Vale:
Semantic Web Services for Multi-Agent Systems Interoperability. EPIA (2) 2019: 606-616 - [c26]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games. FM 2019: 298-315 - 2018
- [j4]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) - [j3]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) - [c25]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: 9-16 - [c24]Gabriel Santos, Tiago Pinto, Zita A. Vale:
Multi-agent Systems Society for Power and Energy Systems Simulation. MABS 2018: 126-137 - [c23]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: 353-356 - [c22]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automated Verification of Concurrent Stochastic Games. QEST 2018: 223-239 - [c21]Flavio Carvalho, Gabriel Santos, Gustavo Paiva Guedes:
AffectPT-br: an Affective Lexicon based on LIWC 2015. SCCC 2018: 1-5 - [i1]Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. CoRR abs/1811.07145 (2018) - 2017
- [c20]Gabriel Santos, Tiago Pinto, Isabel Praça, Zita A. Vale:
Nord Pool Ontology to Enhance Electricity Markets Simulation in MASCEM. EPIA 2017: 283-294 - [c19]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: 313-315 - [c18]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: 300-301 - [c17]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: 307-308 - 2016
- [c16]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: 1-6 - [c15]Tiago Pinto, Zita A. Vale, Isabel Praça, Gabriel Santos:
Demonstration of ALBidS: Adaptive Learning Strategic Bidding System. PAAMS 2016: 281-285 - [c14]Gabriel Santos, Tiago Pinto, Zita A. Vale, Isabel Praça, Hugo Morais:
Electricity Markets Ontology to Support MASCEM's Simulations. PAAMS (Workshops) 2016: 393-404 - 2015
- [j2]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): 297-309 (2015) - [c13]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: 193-201 - [c12]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: 91-95 - [c11]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: 283-295 - [c10]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: 316-319 - 2014
- [j1]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): 399-415 (2014) - [c9]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: 109-113 - [c8]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: 131-135 - [c7]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: 8-15 - [c6]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: 262-272 - 2013
- [c5]Gabriel Santos, Tiago Pinto, Zita A. Vale, Hugo Morais, Isabel Praça:
Upper Ontology for Multi-Agent Energy Systems' Applications. DCAI 2013: 617-624 - [c4]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: 5-12 - [c3]Tiago Pinto, Isabel Praça, Gabriel Santos, Zita A. Vale:
Demonstration of the Multi-Agent Simulator of Competitive Electricity Markets. PAAMS 2013: 316-319 - 2012
- [c2]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: 331-335
2000 – 2009
- 2009
- [c1]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: 198-200
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint