:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Calbert, Julien, Mattenet, Sébastien, Girard, Antoine, Jungers, Raphaël M.
Format:	Preprint
Published:	2024
Subjects:	Dynamical Systems Logic in Computer Science
Online Access:	https://arxiv.org/abs/2403.09556
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Characterizing simulation relations through control architectures in abstraction-based control
by: Calbert, Julien, et al.
Published: (2024)

Smart abstraction based on iterative cover and non-uniform cells
by: Calbert, Julien, et al.
Published: (2024)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
by: Koul, Prajval, et al.
Published: (2025)

Zeta Functions and the (Linear) Logic of Markov Processes
by: Seiller, Thomas
Published: (2020)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
by: Blanc, Manon, et al.
Published: (2023)

Measuring robustness of dynamical systems. Relating time and space to length and precision
by: Blanc, Manon, et al.
Published: (2023)

Snakes can be fooled into thinking they live in a tree
by: Bartholdi, Laurent, et al.
Published: (2024)

The domino problem is decidable for robust tilesets
by: Aubrun, Nathalie, et al.
Published: (2024)

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
by: Monir, Negar, et al.
Published: (2025)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
by: Kochdumper, Niklas, et al.
Published: (2023)

Solvable Initial Value Problems Ruled by Discontinuous Ordinary Differential Equations
by: Bournez, Olivier, et al.
Published: (2024)

Set Descriptive Complexity of Solvable Functions
by: Gozzi, Riccardo, et al.
Published: (2024)

Shifts on the lamplighter group
by: Bartholdi, Laurent, et al.
Published: (2024)

mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks
by: Trinh, Van-Giang, et al.
Published: (2024)

FO logic on cellular automata orbits equals MSO logic
by: Theyssier, Guillaume
Published: (2024)

On Piecewise Affine Reachability with Bellman Operators
by: Varonka, Anton, et al.
Published: (2025)

Positivity of Nearly Linearly Recurrent Sequences
by: Pouly, Amaury, et al.
Published: (2025)

Computability of extender sets in multidimensional subshifts: asymptotic growths, dynamical constraints
by: Callard, Antonin, et al.
Published: (2024)

Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems
by: Simmons, William, et al.
Published: (2023)

Borel graphable equivalence relations
by: Arant, Tyler, et al.
Published: (2024)

Elasticity of free type III actions of free groups
by: Poulin, Antoine
Published: (2024)

Borel Complexity of the Isomorphism Relation of Archimedean Orders in Finitely Generated Groups
by: Poulin, Antoine
Published: (2024)

Determining the Winner in Alternating-Move Games
by: Bellaïche, Itamar, et al.
Published: (2026)

Dense and comeager conjugacy classes in zero-dimensional dynamics
by: Doucha, Michal, et al.
Published: (2025)

Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
by: Banse, Adrien, et al.
Published: (2025)

Memoryless Strategies in Stochastic Reachability Games
by: Kiefer, Stefan, et al.
Published: (2024)

Dionysos.jl: a Modular Platform for Smart Symbolic Control
by: Calbert, Julien, et al.
Published: (2024)

Agile Temporal Discretization for Symbolic Optimal Control
by: Janssens, Adrien, et al.
Published: (2025)

Unbalancedness of the conjugacy relation of ergodic measure-preserving transformations
by: Peng, Bo
Published: (2025)

Asymptotic dimension and hyperfiniteness of generic Cantor actions
by: Iyer, Sumun, et al.
Published: (2024)

Topological groups with tractable minimal dynamics
by: Basso, Gianluca, et al.
Published: (2024)

Quasi-invariant measures concentrating on countable structures
by: Conley, Clinton, et al.
Published: (2024)

Nonstandard analysis of asymptotic points of expansive systems
by: Artigue, Alfonso, et al.
Published: (2024)

Limits of definable families and dilations in nilmanifolds
by: Peterzil, Ya'acov, et al.
Published: (2024)

Existentially closed measure-preserving actions of approximately treeable groups
by: Goldbring, Isaac, et al.
Published: (2025)

The isomorphism problem for group actions
by: Foreman, Matthew, et al.
Published: (2025)

Automorphism groups of measures on the Cantor space. Part I: Good measures and Rokhlin properties
by: Doucha, Michal, et al.
Published: (2025)

Undecidability of Finite Orbit Recognition in Polynomial Maps
by: Gwon, Gwangyong
Published: (2025)

Dynamical pair assignments
by: Darji, Udayan B., et al.
Published: (2025)

Fixed points on null and tame flows for groups of automorphisms
by: Codenotti, Alessandro
Published: (2025)