5 citations · 11 across the 6 of their papers we have counts for
7 papers
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…
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…
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…
A Lattice-Theoretical View of Strategy Iteration
Paolo Baldan, Richard Eggert, Barbara König +1
Strategy iteration is a technique frequently used for two-player games in order to determine the winner or compute payoffs, but to the best of our knowledge no general framework fo…
Fixpoint Theory -- Upside Down
Paolo Baldan, Richard Eggert, Barbara König +1
Knaster-Tarski's theorem, characterising the greatest fixpoint of a monotone function over a complete lattice as the largest post-fixpoint, naturally leads to the so-called coinduc…
Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations
Paolo Baldan, Barbara König, Tommaso Padoan
Systems of fixpoint equations over complete lattices, consisting of (mixed) least and greatest fixpoint equations, allow one to express a number of verification tasks such as model…
Fixpoint Games on Continuous Lattices
Paolo Baldan, Barbara König, Tommaso Padoan +1
Many analysis and verifications tasks, such as static program analyses and model-checking for temporal logics reduce to the solution of systems of equations over suitable lattices.…