Cover Image

Time-Sensitive Importance Splitting

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dengler, Gabriel, Budde, Carlos E., Carnevali, Laura, Hartmanns, Arnd
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Numerical Analysis
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation
by: Dengler, Gabriel, et al.
Published: (2024)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
by: Budde, Carlos E., et al.
Published: (2024)

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
by: Budde, Carlos E., et al.
Published: (2025)

DTMC Model Checking by Path Abstraction Revisited (extended version)
by: Hartmanns, Arnd, et al.
Published: (2025)

Bean: A Language for Backward Error Analysis
by: Kellison, Ariel E., et al.
Published: (2025)

Automatic Verification of Floating-Point Accumulation Networks
by: Zhang, David K., et al.
Published: (2025)

Finite element method. Detailed proofs to be formalized in Coq
by: Clément, François, et al.
Published: (2024)

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
by: Kohlen, Bram, et al.
Published: (2025)

Numerical Considerations in Weighted Model Counting
by: Bryant, Randal E.
Published: (2025)

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)
by: D'Argenio, Pedro R., et al.
Published: (2025)

Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers
by: Gorard, Jonathan, et al.
Published: (2025)

Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
by: Tao, Yichen, et al.
Published: (2026)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
by: Waddoups, Nick, et al.
Published: (2025)

Tools at the Frontiers of Quantitative Verification
by: Andriushchenko, Roman, et al.
Published: (2024)

Formal Verification of COO to CSR Sparse Matrix Conversion (Invited Paper)
by: Appel, Andrew W.
Published: (2025)

Efficient Solving of Quantified Inequality Constraints over the Real Numbers
by: Ratschan, Stefan
Published: (2002)

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
by: Kanovich, Max, et al.
Published: (2016)

Basis-Sensitive Quantum Typing via Realisability
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Hierarchical Importance Sampling for Estimating Occupation Time for SDE Solutions
by: Amar, Eya Ben, et al.
Published: (2025)

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic
by: Nicoletti, Stefano M., et al.
Published: (2024)

Formalizing Schwartz functions and tempered distributions
by: Doll, Moritz
Published: (2025)

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification
by: Swisa, Maya, et al.
Published: (2025)

Time Resolution Independent Operator Learning
by: Abueidda, Diab W., et al.
Published: (2025)

The Importance of Parameters in Database Queries
by: Gilad, Amir, et al.
Published: (2024)

Deciding Equations in the Time Warp Algebra
by: van Gool, Sam, et al.
Published: (2023)

Realizing the totally unordered structure of ordinals
by: Fontanella, Laura, et al.
Published: (2025)

Timed Strategies for Real-Time Rewrite Theories
by: Olarte, Carlos, et al.
Published: (2024)

Domain decomposition for data-driven reduced modeling of large-scale systems
by: Farcas, Ionut-Gabriel, et al.
Published: (2023)

The Importance Markov Chain
by: Andral, Charly, et al.
Published: (2022)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

One Form of Successive Approximation Method and Choice Problem
by: Bulitko, Valeriy K.
Published: (2000)

Automata-Theoretic Characterisations of Branching-Time Temporal Logics
by: Benerecetti, Massimo, et al.
Published: (2024)

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
by: Pears, Jonah, et al.
Published: (2024)

Reduced-Order Time Splitting for Navier-Stokes with Open Boundaries
by: Azaïez, Mejdi, et al.
Published: (2025)

Tree-Cotree-Based IETI-DP for Eddy Current Problems in Time-Domain
by: Mally, Mario, et al.
Published: (2025)

First Passage Time for Multivariate Jump-diffusion Stochastic Models With Applications in Finance
by: Zhang, Di, et al.
Published: (2007)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
by: de Amorim, Pedro H. Azevedo, et al.
Published: (2026)

A Projection-Based Time-Segmented Reduced Order Model for Fluid-Structure Interactions
by: Zhai, Qijia, et al.
Published: (2024)

Time transient Simulations via Finite Element Network Analysis: Theoretical Formulation and Numerical Validation
by: Jokar, Mehdi, et al.
Published: (2024)

Monte-Carlo Simulations of the First Passage Time for Multivariate Jump-Diffusion Processes in Financial Applications
by: Zhang, Di, et al.
Published: (2007)