Cover Image

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Stübbe, Jonas, Remke, Anne, Ábrahám, Erika
Format:	Preprint
Published:	2025
Subjects:	Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Minimum Reachability Probabilities in Rectangular Automata with Random Clocks
by: Delicaris, Joanna, et al.
Published: (2026)

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
by: Nalbach, Jasper, et al.
Published: (2025)

More is Less: Adding Polynomials for Faster Explanations in NLSAT
by: Promies, Valentin, et al.
Published: (2025)

FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex
by: Promies, Valentin, et al.
Published: (2023)

Levelwise construction of a single cylindrical algebraic cell
by: Nalbach, Jasper, et al.
Published: (2022)

Projective Delineability for Single Cell Construction
by: Nalbach, Jasper, et al.
Published: (2025)

Efficient Performance Analysis of Modular Rewritable Petri Nets
by: Capra, Lorenzo, et al.
Published: (2024)

Statistical Analysis of Hairpins and BasePairs in RNA Secondary Structures
by: Bu, AJ, et al.
Published: (2026)

Fractal Attractors in Random Nonlinear Iterated Function Systems: Existence, Stability, and Dimensional Properties
by: Bouke, Mohamed Aly
Published: (2025)

Pattern Division Random Access (PDRA) for M2M Communications with Massive MIMO Systems
by: Dai, Xiaoming, et al.
Published: (2021)

Faster multivariate integration in D-modules
by: Brochet, Hadrien, et al.
Published: (2025)

Algorithmic Detection of Jacobi Stability for Systems of Second Order Differential Equations
by: Böhmer, Christian G., et al.
Published: (2025)

Consequences of the Moosbauer-Poole Algorithms
by: Kauers, Manuel, et al.
Published: (2025)

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
by: Finkelstein, Edward
Published: (2025)

Telescoping Algorithms for $Σ^*$-Extensions via Complete Reductions
by: Chen, Shaoshi, et al.
Published: (2025)

Generalized ODE reduction algorithm for bounded degree transformation
by: Huang, Shaoxuan
Published: (2025)

Generalized ODE reduction algorithm with bounded degree transformation
by: Huang, Shaoxuan
Published: (2025)

An Algorithm for Computing the Leading Monomials of a Minimal Groebner Basis of Generic Sequences
by: Sakata, Kosuke, et al.
Published: (2025)

Symmetric Division of Linear Ordinary Differential Operators
by: Du, Lixin, et al.
Published: (2025)

The regular multivariate quadratic problem
by: Joux, Antoine, et al.
Published: (2025)

A Unified Reduction for Hypergeometric and q-Hypergeometric Creative Telescoping
by: Chen, Shaoshi, et al.
Published: (2025)

Frobenius method for Mahler equations
by: Roques, Julien
Published: (2025)

Flip Graphs with Symmetry and New Matrix Multiplication Schemes
by: Moosbauer, Jakob, et al.
Published: (2025)

On the Number of Real Types of Univariate Polynomials
by: Faroß, Nicolas, et al.
Published: (2025)

Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
by: Wood, Isaac
Published: (2025)

Creative Telescoping
by: Chen, Shaoshi, et al.
Published: (2025)

Cooley-Tukey FFT over $\mathbb{Q}_p$ via Unramified Cyclotomic Extension
by: Kondo, Hiromasa
Published: (2025)

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
by: Yufei, Kuang, et al.
Published: (2025)

Flip Graphs for Polynomial Multiplication
by: Chen, Shaoshi, et al.
Published: (2025)

Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
by: Elliott, Jesse, et al.
Published: (2025)

Probably faster multiplication of sparse polynomials
by: van der Hoeven, Joris
Published: (2025)

Parallel Heuristic Exploration for Additive Complexity Reduction in Fast Matrix Multiplication
by: Perminov, A. I.
Published: (2025)

Differentiation methods as a systematic uncertainty source in equation discovery
by: Khilchuk, Maria, et al.
Published: (2025)

Recycling Algebraic Proof Certificates
by: Kaufmann, Daniela, et al.
Published: (2025)

Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues
by: Ibrahim, Alaa
Published: (2025)

A unified approach for degree bound estimates of linear differential operators
by: Gaillard, Louis
Published: (2025)

Bounds for D-Algebraic Closure Properties
by: Kauers, Manuel, et al.
Published: (2025)

THOI: An efficient and accessible library for computing higher-order interactions enhanced by batch-processing
by: Belloli, Laouen, et al.
Published: (2025)

Software Portability for Computer Algebra
by: Norman, Arthur C., et al.
Published: (2025)

Exploring the Meta Flip Graph for Matrix Multiplication
by: Kauers, Manuel, et al.
Published: (2025)