activity
20222026
most citedPushdown Automata and Context-Free Grammars in Bisimulation Semantics

4 citations · 7 across the 8 of their papers we have counts for

collaborators

8 papers

cs.AI2026

The Many-Body Problem of the Data Centre

Marcin Korecki, Cesare Carissimo

Modern Artificial Intelligence is often framed as limited by its own disembodiment, as if giving it a body would unlock its true potential. We argue to the contrary that it is the…

cs.CY2025

Does Capital Dream of Artificial Labour?

Marcin Korecki, Cesare Carissimo

This paper investigates the concept of Labour as an expression of `timenergy' - a fusion of time and energy - and its entanglement within the system of Capital. We define Labour as…

econ.TH2025

Algorithmic Collusion is Algorithm Orchestration

Cesare Carissimo, Fryderyk Falniowski, Siavash Rahimi +1

We propose a fresh `meta-game' perspective on the problem of algorithmic collusion in pricing games a la Bertrand. Economists have interpreted the fact that algorithms can learn to…

cs.GT2025

Overcoming the Price of Anarchy by Steering with Recommendations

Cesare Carissimo, Marcin Korecki, Damian Dailisan

Varied real world systems such as transportation networks, supply chains and energy grids present coordination problems where many agents must learn to share resources. It is well…

econ.TH2025

Cycles and collusion in congestion games under Q-learning

Cesare Carissimo, Jan Nagler, Heinrich Nax

We investigate the dynamics of Q-learning in a class of generalized Braess paradox games. These games represent an important class of network routing games where the associated sta…

cs.CY2024

Capital as Artificial Intelligence

Cesare Carissimo, Marcin Korecki

We gather many perspectives on Capital and synthesize their commonalities. We provide a characterization of Capital as a historical agential system and propose a model of Capital u…

cs.AI2023★ 3 cited

Dynamic value alignment through preference aggregation of multiple objectives

Marcin Korecki, Damian Dailisan, Cesare Carissimo

The development of ethical AI systems is currently geared toward setting objective functions that align with human objectives. However, finding such functions remains a research ch…

cs.LO2022★ 4 cited

Pushdown Automata and Context-Free Grammars in Bisimulation Semantics

Jos C. M. Baeten, Cesare Carissimo, Bas Luttik

The Turing machine models an old-fashioned computer, that does not interact with the user or with other computers, and only does batch processing. Therefore, we came up with a Reac…