Image de couverture de livre

Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Dengler, Gabriel, Carnevali, Laura, Budde, Carlos E., Vicario, Enrico
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Numerical Analysis
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Time-Sensitive Importance Splitting
par: Dengler, Gabriel, et autres
Publié: (2025)

Numerical Considerations in Weighted Model Counting
par: Bryant, Randal E.
Publié: (2025)

Bean: A Language for Backward Error Analysis
par: Kellison, Ariel E., et autres
Publié: (2025)

Finite element method. Detailed proofs to be formalized in Coq
par: Clément, François, et autres
Publié: (2024)

Automatic Verification of Floating-Point Accumulation Networks
par: Zhang, David K., et autres
Publié: (2025)

Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers
par: Gorard, Jonathan, et autres
Publié: (2025)

Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
par: Tao, Yichen, et autres
Publié: (2026)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
par: Budde, Carlos E., et autres
Publié: (2024)

Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus
par: Kalala, Kalonji, et autres
Publié: (2025)

Multiplicative Rewards in Markovian Models
par: Baier, Christel, et autres
Publié: (2025)

Asymptotic Variance in the Central Limit Theorem for Multilevel Markovian Stochastic Approximation
par: Jasra, Ajay, et autres
Publié: (2025)

Fast Discrete-Event Simulation of Markovian Queueing Networks through Euler Approximation
par: Hong, L. Jeff, et autres
Publié: (2024)

Methods of Class Field Theory to Separate Logics over Finite Residue Classes and Circuit Complexity
par: Arratia, Argimiro, et autres
Publié: (2015)

Efficient Solving of Quantified Inequality Constraints over the Real Numbers
par: Ratschan, Stefan
Publié: (2002)

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

Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
par: Lipparini, Enrico, et autres
Publié: (2023)

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
par: Budde, Carlos E., et autres
Publié: (2025)

Modal Decomposition in Numerical Computation of Eddy Current Transients
par: Ventre, Salvatore, et autres
Publié: (2024)

Simple Classes of Automatic Structures
par: Blumensath, Achim
Publié: (2025)

Non-Hydrostatic Model for Simulating Moving Bottom-Generated Waves: A Shallow Water Extension with Quadratic Vertical Pressure Profile
par: Firdaus, Kemal, et autres
Publié: (2024)

Stochastic Modelling of Symmetric Positive Definite Material Tensors
par: Shivanand, Sharana Kumar, et autres
Publié: (2021)

First Passage Time for Multivariate Jump-diffusion Stochastic Models With Applications in Finance
par: Zhang, Di, et autres
Publié: (2007)

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic
par: Nicoletti, Stefano M., et autres
Publié: (2024)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
par: Almeida, Rodrigo Nicolau
Publié: (2023)

Simulation of Stochastic Discrete Dislocation Dynamics in Ductile Vs Brittle Materials
par: Chhetri, Santosh, et autres
Publié: (2024)

Surrogate Modeling with Low-Rank Function Representation for Electromagnetic Simulation
par: Sun, Mingze, et autres
Publié: (2026)

Formalizing Schwartz functions and tempered distributions
par: Doll, Moritz
Publié: (2025)

Non-Markovian Optimal Prediction
par: Chorin, Alexandre J., et autres
Publié: (2001)

Full-Scale GPU-Accelerated Transient EM-Thermal-Mechanical Co-Simulation for Early-Stage Design of Advanced Packages
par: Liu, Hongyang, et autres
Publié: (2026)

Stochastic Modelling of Elasticity Tensor Fields
par: Shivanand, Sharana Kumar, et autres
Publié: (2024)

On the Metric Temporal Logic for Continuous Stochastic Processes
par: Ikeda, Mitsumasa, et autres
Publié: (2023)

Non-strongly Stable Orders Also Define Interesting Simulation Relations
par: Fábregas, Ignacio, et autres
Publié: (2024)

Risk-averse optimization of total rewards in Markovian models using deviation measures
par: Baier, Christel, et autres
Publié: (2024)

On Randomized Computational Models and Complexity Classes: a Historical Overview
par: Antonelli, Melissa, et autres
Publié: (2024)

Verification and External Parameter Inference for Stochastic World Models
par: Calinescu, Radu, et autres
Publié: (2025)

Constraint Learning for Non-confluent Proof Search
par: Rawson, Michael, et autres
Publié: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
par: Geuvers, Herman
Publié: (2026)

A Class of Analytic Solutions for Verification and Convergence Analysis of Linear and Nonlinear Fluid-Structure Interaction Algorithms
par: Hessenthaler, Andreas, et autres
Publié: (2019)

A Stochastic Conservative Field Transfer Method for Black-box Multiscale and Multiphysics Coupling
par: Paudel, Abhiyan, et autres
Publié: (2026)

Solving Stochastic Differential Equations with Jump-Diffusion Efficiently: Applications to FPT Problems in Credit Risk
par: Zhang, Di, et autres
Publié: (2007)