Buchumschlag

Formal Verification of Markov Processes with Learned Parameters

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Maaz, Muhammad, Chan, Timothy C. Y.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning Artificial Intelligence Optimization and Control 68Q60 (primary) 90C30, 60J20, 60J22 (secondary) F.4.1; G.1.6; I.2.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

An infinitesimal generator approach on weak convergence of regulated multi-class matching systems
von: Xie, Bowen
Veröffentlicht: (2025)

Formal Foundations for Controlled Stochastic Activity Networks
von: Movaghar, Ali
Veröffentlicht: (2025)

Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper)
von: Sølvsten, Steffan Christ, et al.
Veröffentlicht: (2024)

Existence and uniqueness for singular stochastic differential equations with piecewise well-behaved coefficients
von: Mazzonetto, Sara, et al.
Veröffentlicht: (2026)

Rare events in a polling system: Rays and Spirals
von: Foley, Robert D., et al.
Veröffentlicht: (2024)

Reinforced Galton-Watson processes II: Large time behaviors
von: Bertoin, Jean, et al.
Veröffentlicht: (2023)

Martingale Problem and Quadratic Family
von: Wang, Haoming
Veröffentlicht: (2025)

Issues with Measuring Task Complexity via Random Policies in Robotic Tasks
von: Nkhumise, Reabetswe M., et al.
Veröffentlicht: (2026)

Symbolic Model Checking in External Memory
von: Sølvsten, Steffan Christ, et al.
Veröffentlicht: (2025)

Continuous-time Online Learning via Mean-Field Neural Networks: Regret Analysis in Diffusion Environments
von: Bayraktar, Erhan, et al.
Veröffentlicht: (2026)

Backward Filtering Forward Guiding
von: van der Meulen, Frank, et al.
Veröffentlicht: (2025)

Causal structure learning with momentum: Sampling distributions over Markov Equivalence Classes of DAGs
von: Schauer, Moritz, et al.
Veröffentlicht: (2023)

The Hellinger-Kantorovich metric measure geometry on spaces of measures
von: Schiavo, Lorenzo Dello, et al.
Veröffentlicht: (2025)

Efficient Binary Decision Diagram Manipulation in External Memory
von: Sølvsten, Steffan Christ, et al.
Veröffentlicht: (2021)

Extending the noise of splitting to its completion and stability of Brownian maxima
von: Vidmar, Matija, et al.
Veröffentlicht: (2024)

Logarithmic scaling of selective sweep curves: from tents to houses
von: Boenkost, Florin, et al.
Veröffentlicht: (2026)

Barrier Algorithms for Constrained Non-Convex Optimization
von: Dvurechensky, Pavel, et al.
Veröffentlicht: (2024)

Occasionally Observed Piecewise-deterministic Markov Processes
von: Gee, Marissa, et al.
Veröffentlicht: (2024)

A convex approach for Markov chain estimation from aggregate data via inverse optimal transport
von: Mascherpa, Michele, et al.
Veröffentlicht: (2025)

On very weak solutions of certain elliptic systems with double phase growth
von: Kaiho, Yoshiki
Veröffentlicht: (2026)

Limit theorems for stochastic exponentials of matrix-valued Lévy processes
von: Behme, Anita, et al.
Veröffentlicht: (2024)

Reducing metastable continuous-space Markov chains to Markov chains on a finite set
von: Berglund, Nils
Veröffentlicht: (2023)

Uniqueness in law for singular degenerate SDEs with respect to a (sub-)invariant measure
von: Lee, Haesung, et al.
Veröffentlicht: (2024)

Empirical Evaluation of Policy-Based Reinforcement Learning for Dynamic Service Control in an M/M/1 Queue
von: Walton, Joseph, et al.
Veröffentlicht: (2026)

Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
von: Ilin, Vasily
Veröffentlicht: (2026)

Multi-agent learning under uncertainty: Recurrence vs. concentration
von: Lotidis, Kyriakos, et al.
Veröffentlicht: (2025)

Optimization under rare events: scaling laws for linear chance-constrained programs
von: Blanchet, Jose, et al.
Veröffentlicht: (2024)

Lambda-Fleming-Viot processes arising in logistic Bienaymé-Galton-Watson processes with a large carrying capacity
von: Forien, Raphaël
Veröffentlicht: (2025)

Invariant measures for the box-ball system based on stationary Markov chains and periodic Gibbs measures
von: Croydon, David A., et al.
Veröffentlicht: (2019)

Poissonization-based collision threshold derivation for random walks on lattices
von: Burton, Zachary
Veröffentlicht: (2025)

Exactness and Effective Degree Bound of Lasserre's Relaxation for Polynomial Optimization over Finite Variety
von: Hua, Zheng, et al.
Veröffentlicht: (2021)

The Marginal Problem for Density Operators
von: Lauritzen, Steffen, et al.
Veröffentlicht: (2026)

Partial orders and monotonicity of logarithmic depth and height in preferential attachment trees
von: Mönch, Christian
Veröffentlicht: (2026)

Cone-Additive Functions for Random Walks on Free Products of Graphs
von: Gilch, Lorenz A., et al.
Veröffentlicht: (2026)

Dense networks of integrate-and-fire neurons: Spatially-extended mean-field limit of the empirical measure
von: Jabin, Pierre-Emmanuel, et al.
Veröffentlicht: (2024)

Aging and sub-aging for one-dimensional random walks amongst random conductances
von: Croydon, David A., et al.
Veröffentlicht: (2023)

Extremal regime for one-dimensional Mott variable-range hopping
von: Croydon, David A., et al.
Veröffentlicht: (2022)

A proximal approach to the Schrödinger bridge problem with incomplete information and application to contamination tracking in water networks
von: Mascherpa, Michele, et al.
Veröffentlicht: (2026)

On the cover time of Brownian motion on the Brownian continuum random tree
von: Andriopoulos, George, et al.
Veröffentlicht: (2024)

Obliquely reflecting Brownian motion in nonpolyhedral, piecewise smooth cones, with an example of application to diffusion approximation of bandwidth sharing queues
von: Costantini, Cristina
Veröffentlicht: (2023)