Gabriel Santos

According to our database1, Gabriel Santos authored at least 46 papers between 2009 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2022
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games.
CoRR, 2022

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

Strategy Synthesis for Zero-sum Neuro-symbolic Concurrent Stochastic Games.
CoRR, 2022

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games.
Proceedings of the Uncertainty in Artificial Intelligence, 2022

Correlated Equilibria and Fairness in Concurrent Stochastic Games.
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

2021
Automatic verification of concurrent stochastic systems.
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

Semantic Services Catalog for Multiagent Systems Society.
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

Multi-player Equilibria Verification for Concurrent Stochastic Games.
Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time.
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

Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Semantic Web Services for Multi-Agent Systems Interoperability.
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
A context-based building security alarm through power and sensors analysis.
Energy Inform., 2018

Iberian electricity market ontology to enable smart grid market simulation.
Energy Inform., 2018

AffectPT-br: an Affective Lexicon based on LIWC 2015.
Proceedings of the 37th International Conference of the Chilean Computer Science Society, 2018

Automated Verification of Concurrent Stochastic Games.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Demonstration of Tools Control Center for Multi-agent Energy Systems Simulation.
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.
Proceedings of the Multi-Agent-Based Simulation XIX - 19th International Workshop, 2018

Rule-Based Model for Smart Building Supervision and Management.
Proceedings of the 2018 IEEE International Conference on Services Computing, 2018

2017
Tools Control Center to Enable the Joint Simulation of Multi-agent Systems.
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

Ontology-based model for trusted critical site supervision in FUSE-IT.
Proceedings of the 20th Conference on Innovations in Clouds, Internet and Networks, 2017

Nord Pool Ontology to Enhance Electricity Markets Simulation in MASCEM.
Proceedings of the Progress in Artificial Intelligence, 2017

2016
Electricity Markets Ontology to Support MASCEM's Simulations.
Proceedings of the Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection, 2016

Demonstration of ALBidS: Adaptive Learning Strategic Bidding System.
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

Agent-Based Smart Grid Market Simulation with Connection to Real Infrastructures.
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

Solar Intensity Characterization Using Data-Mining to Support Solar Forecasting.
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

Elspot: Nord Pool Spot Integration in MASCEM Electricity Market Simulator.
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

Realistic Multi-agent Simulation of Competitive Electricity Markets.
Proceedings of the 25th International Workshop on Database and Expert Systems Applications, 2014

Multi-agent Simulation of Bilateral Contracting in Competitive Electricity Markets.
Proceedings of the 25th International Workshop on Database and Expert Systems Applications, 2014

2013
Demonstration of the Multi-Agent Simulator of Competitive Electricity Markets.
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

Upper Ontology for Multi-Agent Energy Systems' Applications.
Proceedings of the Distributed Computing and Artificial Intelligence, 2013

2012
Multi-agent Simulation of Continental, Regional, and Micro Electricity Markets.
Proceedings of the 23rd International Workshop on Database and Expert Systems Applications, 2012

2009
Controllability and observability in mixed signal cores.
Proceedings of the 15th IEEE International On-Line Testing Symposium (IOLTS 2009), 2009


  Loading...