Gabriel Santos

Rita Maria da Silva Julia

Marcelo Zanchetta do Nascimento

CoRR, 2024

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

[BibT_eX]

[DOI]

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

Partially Observable Stochastic Games with Neural Perception Mechanisms.

[BibT_eX]

[DOI]

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

Expectation vs. Reality: Towards Verification of Psychological Games.

[BibT_eX]

[DOI]

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

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

[BibT_eX]

[DOI]

Dataset, November, 2023

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

[BibT_eX]

[DOI]

Dataset, February, 2023

Point-based Value Iteration for Neuro-Symbolic POMDPs.

[BibT_eX]

[DOI]

CoRR, 2023

2022

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

[BibT_eX]

[DOI]

Rui Carvalho

Zita Vale

Energy Inform., 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

Proceedings of the Uncertainty in Artificial Intelligence, 2022

Correlated Equilibria and Fairness in Concurrent Stochastic Games.

[BibT_eX]

[DOI]

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

2021

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

[BibT_eX]

[DOI]

Dataset, September, 2021

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

[BibT_eX]

[DOI]

Dataset, April, 2021

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

[BibT_eX]

[DOI]

Dataset, February, 2021

Automatic verification of concurrent stochastic systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2021

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

PhD thesis, 2020

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

[BibT_eX]

[DOI]

IEEE Access, 2020

Multi-player Equilibria Verification for Concurrent Stochastic Games.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2019

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

[BibT_eX]

[DOI]

Ricardo Faia

María Navarro-Cáceres

Juan Manuel Corchado

IEEE Syst. J., 2019

Equilibria-Based Probabilistic Model Checking for Concurrent Stochastic Games.

[BibT_eX]

[DOI]

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

Semantic Web Services for Multi-Agent Systems Interoperability.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2019

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Energy Inform., 2018

Iberian electricity market ontology to enable smart grid market simulation.

[BibT_eX]

[DOI]

Energy Inform., 2018

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

[BibT_eX]

[DOI]

Flavio Carvalho

Gustavo Paiva Guedes

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

Automated Verification of Concurrent Stochastic Games.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Rule-Based Model for Smart Building Supervision and Management.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]