Copertina

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Stübbe, Jonas, Remke, Anne, Ábrahám, Erika
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Symbolic Computation
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Generalized ODE reduction algorithm for bounded degree transformation
di: Huang, Shaoxuan
Pubblicazione: (2025)

Generalized ODE reduction algorithm with bounded degree transformation
di: Huang, Shaoxuan
Pubblicazione: (2025)

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

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

The regular multivariate quadratic problem
di: Joux, Antoine, et al.
Pubblicazione: (2025)

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

Frobenius method for Mahler equations
di: Roques, Julien
Pubblicazione: (2025)

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

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

Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
di: Wood, Isaac
Pubblicazione: (2025)

Creative Telescoping
di: Chen, Shaoshi, et al.
Pubblicazione: (2025)

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

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

Flip Graphs for Polynomial Multiplication
di: Chen, Shaoshi, et al.
Pubblicazione: (2025)

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

Probably faster multiplication of sparse polynomials
di: van der Hoeven, Joris
Pubblicazione: (2025)

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

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

Recycling Algebraic Proof Certificates
di: Kaufmann, Daniela, et al.
Pubblicazione: (2025)

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

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

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

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

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

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