3 papers
cs.LO2025
A Monoidal View on Fixpoint Checks
Paolo Baldan, Richard Eggert, Barbara König +2
Fixpoints are ubiquitous in computer science as they play a central role in providing a meaning to recursive and cyclic definitions. Bisimilarity, behavioural metrics, termination…
cs.LO2025
Approximating Fixpoints of Approximated Functions
Paolo Baldan, Sebastian Gurke, Barbara König +2
Fixpoints are ubiquitous in computer science and when dealing with quantitative semantics and verification one often considers least fixpoints of (higher-dimensional) functions ove…
cs.LG2024
Simulating the Economic Impact of Rationality through Reinforcement Learning and Agent-Based Modelling
Simone Brusatin, Tommaso Padoan, Andrea Coletta +2
Agent-based models (ABMs) are simulation models used in economics to overcome some of the limitations of traditional frameworks based on general equilibrium assumptions. However, a…