Cover Image

Formal Foundations for Controlled Stochastic Activity Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Movaghar, Ali
Format:	Preprint
Published:	2025
Subjects:	Formal Languages and Automata Theory Logic in Computer Science 68Q45, 68Q87, 60J25, 60J27 68Q45, 68Q87, 60J25, 60J27 68Q45, 68Q87, 60J25, 60J27 F.1.1; F.3.1; G.3; I.2.8
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Analysis of multivariate symbol statistics in primitive rational models
by: Goldwurm, Massimiliano, et al.
Published: (2026)

Planting and MCMC Sampling from the Potts model
by: Galanis, Andreas, et al.
Published: (2024)

Low-temperature Sampling on Sparse Random Graphs
by: Galanis, Andreas, et al.
Published: (2025)

Attention Meets Reachability: Structural Equivalence and Efficiency in Grammar-Constrained LLM Decoding
by: Alpay, Faruk, et al.
Published: (2026)

Monitoring Hyperproperties over Observed and Constructed Traces
by: Chalupa, Marek, et al.
Published: (2025)

On Approximating the Potts Model with Contracting Glauber Dynamics
by: He, Roxanne, et al.
Published: (2024)

On Woolhouse's Cotton-Spinning Problem
by: Groote, Jan Friso, et al.
Published: (2024)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
by: Alpay, Faruk, et al.
Published: (2026)

Online minimum search for a Brownian bridge
by: Wu, Erik, et al.
Published: (2024)

Computational thresholds in high-dimensional statistics: the case of graph alignment
by: Massoulié, Laurent
Published: (2025)

Simulating and model checking membrane systems using strategies in Maude
by: Rubio, Rubén, et al.
Published: (2024)

Flavors of Quantifiers in Hyperlogics
by: Chalupa, Marek, et al.
Published: (2025)

On the Average Runtime of an Open Source Binomial Random Variate Generation Algorithm
by: Cicirello, Vincent A.
Published: (2024)

Leakage-Resilient Hardness Equivalence to Logspace Derandomization
by: Shalunov, Yakov
Published: (2023)

A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages
by: Cho, Da-Jung, et al.
Published: (2025)

Principal Types as Partial Involutions
by: Honsell, Furio, et al.
Published: (2024)

Conway's game Life perturbed
by: Vidunas, Raimundas, et al.
Published: (2025)

Synthesis of Safety Specifications for Probabilistic Systems
by: Ohlmann, Gaspard, et al.
Published: (2025)

The discrete Laplace asymptotic method and its application to the 3XOR satisfiability problem
by: Hughes, Jared A., et al.
Published: (2025)

Sharp threshold for network recovery from voter model dynamics
by: Du, Hang, et al.
Published: (2025)

Discrete Diffusion Models for Language Generation
by: Weligalle, Ashen
Published: (2025)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
by: Adsul, Bharat, et al.
Published: (2024)

Optimal Hardness of Online Algorithms for Large Independent Sets
by: Gamarnik, David, et al.
Published: (2025)

Hessian stability and convergence rates for entropic and Sinkhorn potentials via semiconcavity
by: Greco, Giacomo, et al.
Published: (2025)

The Algebra of Nondeterministic Finite Automata
by: Gorrieri, Roberto
Published: (2023)

Axiomatizing NFAs Generated by Regular Grammars
by: Gorrieri, Roberto
Published: (2024)

Probabilistic Approach for Detection of High-Frequency Periodic Signals using an Event Camera
by: Ben-Ezra, David El-Chai, et al.
Published: (2022)

On fine fluctuations of the complexity of the QuickSelect algorithm
by: Ischebeck, Jasper, et al.
Published: (2024)

Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking
by: Heemstra, Jan, et al.
Published: (2025)

Algorithms for Generating Small Random Samples
by: Cicirello, Vincent A.
Published: (2024)

Strategies, model checking and branching-time properties in Maude
by: Rubio, Rubén, et al.
Published: (2024)

Model checking strategy-controlled systems in rewriting logic
by: Rubio, Rubén, et al.
Published: (2024)

A study of the Antlion Random Walk
by: Narimatsu, Akihiro, et al.
Published: (2025)

The discrete analogue of the Gaussian
by: Chinta, Gautam, et al.
Published: (2024)

Weighing Obese Timed Languages
by: Asarin, Eugene, et al.
Published: (2025)

Computing the Bandwidth of Meager Timed Automata
by: Asarin, Eugene, et al.
Published: (2024)

On the relative asymptotic expressivity of inference frameworks
by: Koponen, Vera, et al.
Published: (2022)

Computing Inductive Invariants of Regular Abstraction Frameworks
by: Czerner, Philipp, et al.
Published: (2024)

A semiconcavity approach to stability of entropic plans and exponential convergence of Sinkhorn's algorithm
by: Chiarini, Alberto, et al.
Published: (2024)

Time-inhomogeneous N-particle Branching Brownian Motion and the continuous random energy model
by: Legrand, Alexandre, et al.
Published: (2024)