| Publication | Date of Publication | Type |
|---|
| Characterising and verifying the core in concurrent multi-player mean-payoff games | 2026-02-19 | Paper |
A variational approach for price formation models in one dimension
Communications in Mathematical Sciences | 2024-04-11 | Paper |
Core Type Theory
Bulletin of the Section of Logic | 2024-02-29 | Paper |
Incentive Engineering for Concurrent Games
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
| A matrix-based approach to parity games | 2023-12-13 | Paper |
On the complexity of rational verification
Annals of Mathematics and Artificial Intelligence | 2023-08-21 | Paper |
Machine learning architectures for price formation models
Applied Mathematics and Optimization | 2023-07-06 | Paper |
| Machine Learning architectures for price formation models with common noise | 2023-05-27 | Paper |
scientific article; zbMATH DE number 7689517 (Why is no real title available?)
(available as arXiv preprint) | 2023-05-26 | Paper |
| scientific article; zbMATH DE number 7689517 (Why is no real title available?) | 2023-05-26 | Paper |
A Random-Supply Mean Field Game Price Model
SIAM Journal on Financial Mathematics | 2023-03-31 | Paper |
scientific article; zbMATH DE number 7649930 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-03 | Paper |
Cooperative concurrent games
Artificial Intelligence | 2023-01-04 | Paper |
A mean field game price model with noise
Mathematics in Engineering | 2022-08-25 | Paper |
| The Potential Method For Price-Formation Models | 2022-04-04 | Paper |
Mean-payoff games with \(\omega\)-regular specifications
Games | 2022-03-09 | Paper |
Partial order games
Games | 2022-03-09 | Paper |
Equilibria for games with combined qualitative and quantitative objectives
Acta Informatica | 2021-12-15 | Paper |
A random-supply Mean Field Game price model
(available as arXiv preprint) | 2021-09-03 | Paper |
| The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity | 2021-04-27 | Paper |
The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity
(available as arXiv preprint) | 2021-04-27 | Paper |
Multi-player games with LDL goals over finite traces
Information and Computation | 2021-02-08 | Paper |
Automated temporal equilibrium analysis: verification and synthesis of multi-player games
Artificial Intelligence | 2020-11-16 | Paper |
| Nash equilibrium and bisimulation invariance | 2020-05-27 | Paper |
scientific article; zbMATH DE number 7136658 (Why is no real title available?)
(available as arXiv preprint) | 2019-11-26 | Paper |
On fixpoint logics and equivalences for processes with restricted nondeterminism
Journal Of Logic And Computation | 2019-01-31 | Paper |
Imperfect information in reactive modules games
Information and Computation | 2018-06-14 | Paper |
Equilibria of concurrent games on event structures
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
From model checking to equilibrium checking: reactive modules for rational verification
Artificial Intelligence | 2017-09-29 | Paper |
| Expressiveness and complexity results for strategic reasoning | 2017-09-12 | Paper |
The winning ways of concurrent games
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
Synthese | 2017-03-14 | Paper |
Reasoning about equilibria in game-like concurrent systems
Annals of Pure and Applied Logic | 2016-12-02 | Paper |
A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
A Mathematical Game Semantics of Concurrency and Nondeterminism
Theoretical Aspects of Computing - ICTAC 2015 | 2016-02-25 | Paper |
Iterated Boolean games
Information and Computation | 2015-06-01 | Paper |
The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity
Theoretical Computer Science | 2014-12-02 | Paper |
On the determinacy of concurrent games on event structures with infinite winning sets
Journal of Computer and System Sciences | 2014-06-10 | Paper |
Timed concurrent constraint programming for analysing biological systems
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Borel determinacy of concurrent games
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
Imperfect information in logic and concurrent games
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Concurrent logic games on partial orders
Logic, Language, Information and Computation | 2011-05-27 | Paper |
Model-checking games for fixpoint logics with partial order models
Information and Computation | 2011-05-04 | Paper |
Model-Checking Games for Fixpoint Logics with Partial Order Models
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
Logics and Bisimulation Games for Concurrency, Causality and Conflict
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
