Imagen de Portada

Algorithms for Markov Binomial Chains

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Gonzalez, Alejandro Alarcón, Hens, Niel, Leys, Tim, Pérez, Guillermo A.
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Analyzing Value Functions of States in Parametric Markov Chains
por: Engelen, Kasper, et al.
Publicado: (2025)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
por: Suilen, Marnix, et al.
Publicado: (2026)

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
por: Češka, Milan, et al.
Publicado: (2026)

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

Algorithmic Randomness in Continuous-Time Markov Chains
por: Huang, Xiang, et al.
Publicado: (2019)

Teaching Divisibility and Binomials with Coq
por: Boldo, Sylvie, et al.
Publicado: (2024)

Model Checking Markov Chains as Distribution Transformers
por: Aghamov, Rajab, et al.
Publicado: (2024)

Skolem and Positivity Completeness of Ergodic Markov Chains
por: Vahanwala, Mihir
Publicado: (2023)

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

Assessing the Quality of Binomial Samplers: A Statistical Distance Framework
por: Sarkar, Uddalok, et al.
Publicado: (2025)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
por: Xu, Ming, et al.
Publicado: (2022)

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

A Lazy Abstraction Algorithm for Markov Decision Processes: Theory and Initial Evaluation
por: Szekeres, Dániel, et al.
Publicado: (2024)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
por: Lyon, Tim S.
Publicado: (2024)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
por: Lyon, Tim S.
Publicado: (2024)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
por: Lyon, Tim S.
Publicado: (2024)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
por: Lyon, Tim S.
Publicado: (2023)

QReach: A Reachability Analysis Tool for Quantum Markov Chains
por: Dai, Aochu, et al.
Publicado: (2025)

On the Completeness of Interpolation Algorithms
por: Hetzl, Stefan, et al.
Publicado: (2024)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
por: Lyon, Tim S., et al.
Publicado: (2026)

Beyond Decisiveness of Infinite Markov Chains
por: Barbot, Benoît, et al.
Publicado: (2024)

Decidability of Quasi-Dense Modal Logics
por: Ostropolski-Nalewaja, Piotr, et al.
Publicado: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
por: Lyon, Tim S., et al.
Publicado: (2024)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

Robust Probabilistic Bisimilarity for Labelled Markov Chains
por: Fatmi, Syyeda Zainab, et al.
Publicado: (2025)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
por: Lyon, Tim S.
Publicado: (2022)

Model Checking Quantum Continuous-Time Markov Chains
por: Xu, Ming, et al.
Publicado: (2021)

Zeta Functions and the (Linear) Logic of Markov Processes
por: Seiller, Thomas
Publicado: (2020)

The Temporal Logic Synthesis Format TLSF v1.2
por: Jacobs, Swen, et al.
Publicado: (2023)

Demystifying $μ$
por: Afshari, Bahareh, et al.
Publicado: (2024)

A concrete model for a typed linear algebraic lambda calculus
por: Díaz-Caro, Alejandro, et al.
Publicado: (2018)

Learning Algorithms for Verification of Markov Decision Processes
por: Brázdil, Tomáš, et al.
Publicado: (2024)

Towards Counting Markov Equivalence Classes with Logical Constraints
por: Bizzaro, Davide, et al.
Publicado: (2024)

Formal Quality Measures for Predictors in Markov Decision Processes
por: Baier, Christel, et al.
Publicado: (2024)

Two behavioural pseudometrics for continuous-time Markov processes
por: Chen, Linan, et al.
Publicado: (2025)

Foundations of probability-raising causality in Markov decision processes
por: Baier, Christel, et al.
Publicado: (2022)

Learning Robust Markov Models for Safe Runtime Monitoring
por: Skurka, Antonina, et al.
Publicado: (2026)

A behavioural pseudometric for continuous-time Markov processes
por: Chen, Linan, et al.
Publicado: (2025)

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

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
por: Baier, Christel, et al.
Publicado: (2024)