:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Ahrens, Emma, Kassing, Jan-Christoph, Giesl, Jürgen, Katoen, Joost-Pieter
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2505.08496
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
di: Kassing, Jan-Christoph, et al.
Pubblicazione: (2024)

The Annotated Dependency Pair Framework for Almost-Sure Termination of Probabilistic Term Rewriting
di: Kassing, Jan-Christoph, et al.
Pubblicazione: (2024)

From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
di: Kassing, Jan-Christoph, et al.
Pubblicazione: (2024)

A Dependency Pair Framework for Relative Termination of Term Rewriting
di: Kassing, Jan-Christoph, et al.
Pubblicazione: (2024)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
di: Kassing, Jan-Christoph, et al.
Pubblicazione: (2023)

A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
di: Kassing, Jan-Christoph, et al.
Pubblicazione: (2023)

Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
di: Kassing, Jan-Christoph, et al.
Pubblicazione: (2025)

Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
di: Kassing, Jan-Christoph, et al.
Pubblicazione: (2026)

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
di: Baader, Franz, et al.
Pubblicazione: (2024)

Compositional Reasoning for Probabilistic Automata with Uncertainty
di: Mertens, Hannah, et al.
Pubblicazione: (2026)

Unknown Biases and Timing Constraints in Timed Automata
di: Haase, Darion, et al.
Pubblicazione: (2024)

Compositional Reasoning for Parametric Probabilistic Automata
di: Mertens, Hannah, et al.
Pubblicazione: (2025)

Verification of Robust Multi-Agent Systems
di: Berthon, Raphaël, et al.
Pubblicazione: (2026)

Bayesian Inference in Quantum Programs
di: Gehnen, Christina, et al.
Pubblicazione: (2025)

Quantifier Elimination and Craig Interpolation, Quantitatively
di: Batz, Kevin, et al.
Pubblicazione: (2025)

Towards Concurrent Quantitative Separation Logic
di: Fesefeldt, Ira, et al.
Pubblicazione: (2022)

Natural Strategic Ability in Stochastic Multi-Agent Systems
di: Berthon, Raphaël, et al.
Pubblicazione: (2024)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
di: Mertens, Hannah, et al.
Pubblicazione: (2024)

Model Checking Temporal Properties of Recursive Probabilistic Programs
di: Winkler, Tobias, et al.
Pubblicazione: (2021)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
di: Batz, Kevin, et al.
Pubblicazione: (2025)

Verifying Sampling Algorithms via Distributional Invariants
di: Zilken, Daniel, et al.
Pubblicazione: (2025)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
di: Spork, Timm, et al.
Pubblicazione: (2025)

A Spectrum of Approximate Probabilistic Bisimulations
di: Spork, Timm, et al.
Pubblicazione: (2024)

On Deciding Constant Runtime of Linear Loops
di: Frohn, Florian, et al.
Pubblicazione: (2026)

Modular Automatic Complexity Analysis of Recursive Integer Programs
di: Lommen, Nils, et al.
Pubblicazione: (2025)

Infinite State Model Checking by Learning Transitive Relations
di: Frohn, Florian, et al.
Pubblicazione: (2025)

Deciding Termination of Simple Randomized Loops
di: Meyer, Éléanore, et al.
Pubblicazione: (2025)

Integrating Loop Acceleration into Bounded Model Checking
di: Frohn, Florian, et al.
Pubblicazione: (2024)

Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
di: Lommen, Nils, et al.
Pubblicazione: (2023)

Satisfiability Modulo Exponential Integer Arithmetic
di: Frohn, Florian, et al.
Pubblicazione: (2024)

Accelerating Loops with Arrays
di: Frohn, Florian, et al.
Pubblicazione: (2026)

Probabilistic Model Checking Taken by Storm
di: Volk, Matthias, et al.
Pubblicazione: (2026)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
di: Klinkenberg, Lutz, et al.
Pubblicazione: (2023)

Preservation Theorems in Semiring Semantics
di: Brinke, Sophie, et al.
Pubblicazione: (2026)

Locality Theorems in Semiring Semantics
di: Bizière, Clotilde, et al.
Pubblicazione: (2023)

Tree Rewriting Calculi for Strictly Positive Logics
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2025)

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
di: Heck, Linus, et al.
Pubblicazione: (2025)

AProVE: Modular Termination Analysis of Memory-Manipulating C Programs
di: Emrich, Frank, et al.
Pubblicazione: (2023)

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT
di: Lommen, Nils, et al.
Pubblicazione: (2024)

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
di: Lommen, Nils, et al.
Pubblicazione: (2022)