Image de couverture de livre

A Formal Approach for Tuning Stochastic Oscillators

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ballarini, Paolo, Bentriou, Mahmoud, Cournède, Paul-Henry
Format:	Preprint
Publié:	2024
Sujets:	Formal Languages and Automata Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Statistical process discovery
par: Cry, Pierre, et autres
Publié: (2025)

A General Information Extraction Framework Based on Formal Languages
par: Schmid, Markus L.
Publié: (2025)

WEX: Formal Specifications for Windows in Stream Processing
par: Hitarth, S, et autres
Publié: (2022)

Closure Properties of General Grammars -- Formally Verified
par: Dvorak, Martin, et autres
Publié: (2023)

Positive Characteristic Sets for Relational Pattern Languages
par: Mousawi, S. Mahmoud, et autres
Publié: (2025)

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
par: Bergsträßer, Pascal, et autres
Publié: (2024)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
par: Kan, Shuanglong, et autres
Publié: (2025)

Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda
par: Wißmann, Thorsten
Publié: (2026)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
par: Schalk, Patrizia, et autres
Publié: (2025)

Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
par: Zhang, Shuhang, et autres
Publié: (2025)

Localising Stochasticity in Weighted Automata
par: Agarwal, Smayan, et autres
Publié: (2026)

LAD-VF: LLM-Automatic Differentiation Enables Fine-Tuning-Free Robot Planning from Formal Methods Feedback
par: Yang, Yunhao, et autres
Publié: (2025)

Stochastic Languages at Sub-stochastic Cost
par: Agarwal, Smayan, et autres
Publié: (2025)

An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
par: Finkel, Alain, et autres
Publié: (2025)

Inform: From Compartmental Models to Stochastic Bounded Counter Machines
par: Leys, Tim, et autres
Publié: (2024)

Black-box Testing Liveness Properties of Partially Observable Stochastic Systems
par: Esparza, Javier, et autres
Publié: (2023)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
par: Modesti, Paolo, et autres
Publié: (2021)

A Unifying Approach to Picture Automata
par: Meeres, Yvo Ad, et autres
Publié: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
par: Jeppson, Joshua, et autres
Publié: (2025)

Mathematical Approach in Automata and Automata Association
par: Maciel, Sergio Henrique
Publié: (2020)

History-Constrained Systems
par: Kuijer, Louwe B., et autres
Publié: (2026)

Formally Verified Linear-Time Invertible Lexing
par: Chassot, Samuel, et autres
Publié: (2025)

Imposing Rules in Process Discovery: an Inductive Mining Approach
par: Norouzifar, Ali, et autres
Publié: (2024)

A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation
par: Akshay, S, et autres
Publié: (2023)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
par: Akshay, S., et autres
Publié: (2024)

Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
par: Eichler, Paul, et autres
Publié: (2024)

Simulations for Event-Clock Automata
par: Akshay, S, et autres
Publié: (2022)

Reachability in VASS Extended with Integer Counters
par: Bizière, Clotilde, et autres
Publié: (2026)

On the Complexity of Language Membership for Probabilistic Words
par: Amarilli, Antoine, et autres
Publié: (2025)

Deciding Linear Height and Linear Size-to-Height Increase for Macro Tree Transducers
par: Gallot, Paul, et autres
Publié: (2023)

Reversible Pebble Transducers
par: Dartois, Luc, et autres
Publié: (2025)

TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
par: Akshay, S., et autres
Publié: (2025)

Reversible Transducers over Infinite Words
par: Dartois, Luc, et autres
Publié: (2024)

Scalable Tree-based Register Automata Learning
par: Dierl, Simon, et autres
Publié: (2024)

Resolving Nondeterminism by Chance
par: Paul, Soumyajit, et autres
Publié: (2025)

Bridging the Empirical-Theoretical Gap in Neural Network Formal Language Learning Using Minimum Description Length
par: Lan, Nur, et autres
Publié: (2024)

Formal verification of higher dimensional quantum protocols
par: Puthoor, Ittoop Vergheese
Publié: (2024)

Continuous Diffusion Models Can Obey Formal Syntax
par: Kim, Jinwoo, et autres
Publié: (2026)

A Close Analysis of the Subset Construction
par: Baburin, Ivan, et autres
Publié: (2024)

Corrections to A Menagerie of Timed Automata
par: Keiren, Jeroen J. A., et autres
Publié: (2016)