Image de couverture de livre

Memoryless concretization relation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Calbert, Julien, Mattenet, Sébastien, Girard, Antoine, Jungers, Raphaël M.
Format:	Preprint
Publié:	2024
Sujets:	Dynamical Systems Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Characterizing simulation relations through control architectures in abstraction-based control
par: Calbert, Julien, et autres
Publié: (2024)

Smart abstraction based on iterative cover and non-uniform cells
par: Calbert, Julien, et autres
Publié: (2024)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
par: Koul, Prajval, et autres
Publié: (2025)

Zeta Functions and the (Linear) Logic of Markov Processes
par: Seiller, Thomas
Publié: (2020)

Simulation of Turing machines with analytic discrete ODEs: FPTIME and FPSPACE over the reals characterised with discrete ordinary differential equations
par: Blanc, Manon, et autres
Publié: (2023)

Measuring robustness of dynamical systems. Relating time and space to length and precision
par: Blanc, Manon, et autres
Publié: (2023)

Snakes can be fooled into thinking they live in a tree
par: Bartholdi, Laurent, et autres
Publié: (2024)

Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach
par: Monir, Negar, et autres
Publié: (2025)

Fully Automated Verification of Linear Time-Invariant Systems against Signal Temporal Logic Specifications via Reachability Analysis
par: Kochdumper, Niklas, et autres
Publié: (2023)

The domino problem is decidable for robust tilesets
par: Aubrun, Nathalie, et autres
Publié: (2024)

Solvable Initial Value Problems Ruled by Discontinuous Ordinary Differential Equations
par: Bournez, Olivier, et autres
Publié: (2024)

Set Descriptive Complexity of Solvable Functions
par: Gozzi, Riccardo, et autres
Publié: (2024)

Shifts on the lamplighter group
par: Bartholdi, Laurent, et autres
Publié: (2024)

mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks
par: Trinh, Van-Giang, et autres
Publié: (2024)

FO logic on cellular automata orbits equals MSO logic
par: Theyssier, Guillaume
Publié: (2024)

On Piecewise Affine Reachability with Bellman Operators
par: Varonka, Anton, et autres
Publié: (2025)

Borel graphable equivalence relations
par: Arant, Tyler, et autres
Publié: (2024)

Positivity of Nearly Linearly Recurrent Sequences
par: Pouly, Amaury, et autres
Publié: (2025)

Elasticity of free type III actions of free groups
par: Poulin, Antoine
Publié: (2024)

Borel Complexity of the Isomorphism Relation of Archimedean Orders in Finitely Generated Groups
par: Poulin, Antoine
Publié: (2024)

Computability of extender sets in multidimensional subshifts: asymptotic growths, dynamical constraints
par: Callard, Antonin, et autres
Publié: (2024)

Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems
par: Simmons, William, et autres
Publié: (2023)

Determining the Winner in Alternating-Move Games
par: Bellaïche, Itamar, et autres
Publié: (2026)

Dense and comeager conjugacy classes in zero-dimensional dynamics
par: Doucha, Michal, et autres
Publié: (2025)

Memoryless Strategies in Stochastic Reachability Games
par: Kiefer, Stefan, et autres
Publié: (2024)

Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
par: Banse, Adrien, et autres
Publié: (2025)

Asymptotic dimension and hyperfiniteness of generic Cantor actions
par: Iyer, Sumun, et autres
Publié: (2024)

Topological groups with tractable minimal dynamics
par: Basso, Gianluca, et autres
Publié: (2024)

Quasi-invariant measures concentrating on countable structures
par: Conley, Clinton, et autres
Publié: (2024)

Nonstandard analysis of asymptotic points of expansive systems
par: Artigue, Alfonso, et autres
Publié: (2024)

Limits of definable families and dilations in nilmanifolds
par: Peterzil, Ya'acov, et autres
Publié: (2024)

Existentially closed measure-preserving actions of approximately treeable groups
par: Goldbring, Isaac, et autres
Publié: (2025)

The isomorphism problem for group actions
par: Foreman, Matthew, et autres
Publié: (2025)

Automorphism groups of measures on the Cantor space. Part I: Good measures and Rokhlin properties
par: Doucha, Michal, et autres
Publié: (2025)

Undecidability of Finite Orbit Recognition in Polynomial Maps
par: Gwon, Gwangyong
Publié: (2025)

Dynamical pair assignments
par: Darji, Udayan B., et autres
Publié: (2025)

Fixed points on null and tame flows for groups of automorphisms
par: Codenotti, Alessandro
Publié: (2025)

Borel complexity of sets of points with prescribed Birkhoff averages in Polish dynamical systems with a specification property
par: Deka, Konrad, et autres
Publié: (2022)

Computability of Brjuno-like functions
par: Shevchenko, Ivan O., et autres
Publié: (2025)

Bowen's Problem 32 and the conjugacy problem for systems with specification
par: Deka, Konrad, et autres
Publié: (2025)