Gabriel Pinheiro Alves Santos
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games Information and Computation | 2024-10-08 | Paper |
| Probabilistic model checking for strategic equilibria-based decision making: advances and challenges (invited talk) | 2024-08-06 | Paper |
| Equilibria-based probabilistic model checking for concurrent stochastic games | 2024-03-14 | Paper |
| Correlated equilibria and fairness in concurrent stochastic games | 2024-02-01 | Paper |
| Mathematical model applied to single-track line scheduling problem in Brazilian railways 4OR | 2016-01-13 | Paper |
Research outcomes over time
This page was built for person: Gabriel Pinheiro Alves Santos
