Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content

Showing 1–6 of 6 results for author: Padoan, T

Searching in archive cs. Search in all archives.
.
  1. arXiv:2405.02161  [pdf, other

    cs.LG cs.AI cs.CE cs.MA econ.GN

    Simulating the economic impact of rationality through reinforcement learning and agent-based modelling

    Authors: Simone Brusatin, Tommaso Padoan, Andrea Coletta, Domenico Delli Gatti, Aldo Glielmo

    Abstract: 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, agents within an ABM follow predetermined, not fully rational, behavioural rules which can be cumbersome to design and difficult to justify. Here we leverage multi-agent reinforcement learning (RL) to expand the capabilit… ▽ More

    Submitted 3 May, 2024; originally announced May 2024.

    Comments: 8 pages, 4 figures

  2. arXiv:2305.02957  [pdf, other

    cs.LO

    A Monoidal View on Fixpoint Checks

    Authors: Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan

    Abstract: 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 probabilities for Markov chains and stochastic games are defined in terms of least or greatest fixpoints. Here we show that our recent work which proposes a technique for checking whether the fixpoint of a function is th… ▽ More

    Submitted 15 January, 2024; v1 submitted 4 May, 2023; originally announced May 2023.

  3. arXiv:2207.09872  [pdf, other

    cs.LO

    A Lattice-Theoretical View of Strategy Iteration

    Authors: Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan

    Abstract: 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 for strategy iteration has been considered. Inspired by previous work on simple stochastic games, we propose a general formalisation of strategy iteration for solving least fixpoint equations over a suitable class of compl… ▽ More

    Submitted 13 December, 2022; v1 submitted 20 July, 2022; originally announced July 2022.

  4. Fixpoint Theory -- Upside Down

    Authors: Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan

    Abstract: 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 coinduction proof principle for showing that some element is below the greatest fixpoint (e.g., for providing bisimilarity witnesses). The dual principle, used for showing that an element is above the least fixpoint, is related… ▽ More

    Submitted 6 June, 2023; v1 submitted 20 January, 2021; originally announced January 2021.

    Journal ref: Logical Methods in Computer Science, Volume 19, Issue 2 (June 7, 2023) lmcs:8382

  5. Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations

    Authors: Paolo Baldan, Barbara König, Tommaso Padoan

    Abstract: 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-checking of various kinds of specification logics or the check of coinductive behavioural equivalences. In this paper we develop a theory of approximation for systems of fixpoint equations in the style of abstract int… ▽ More

    Submitted 18 June, 2021; v1 submitted 19 March, 2020; originally announced March 2020.

  6. arXiv:1810.11404  [pdf, ps, other

    cs.LO

    Fixpoint Games on Continuous Lattices

    Authors: Paolo Baldan, Barbara König, Tommaso Padoan, Christina Mika-Michalski

    Abstract: 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. Inspired by recent work on lattice-theoretic progress measures, we develop a game-theoretical approach to the solution of systems of monotone equations over lattices, where for each single equation either the least or g… ▽ More

    Submitted 19 April, 2021; v1 submitted 26 October, 2018; originally announced October 2018.

    ACM Class: D.2.4; F.3.1; F.3.2